#! /usr/bin/dh-exec
CHANGES.txt => /usr/share/doc/minizinc/changelog
