spigot (0.2017-01-15.gdad1bbc6-1) unstable; urgency=medium * Merge from upstream: - Add a missing exit after an error message. - Permit overriding VER on the make command line. * Arrange to pass -DVER so that --version prints Debian version. * Add an autopkgtest to check we are using gmp integration. -- Ian Jackson <email address hidden> Sun, 15 Jan 2017 20:37:21 +0000