-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 26 May 2015 20:48:35 +0200 Source: alt-ergo Binary: alt-ergo Architecture: source amd64 Version: 0.99.1+dfsg1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Closes: 786846 Changes: alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium . * debian/control: fix domain name in Vcs fields * explicitly set the build date to the date of the last changelog entry (closes: #786846): - add patch 0003-allow-set-build-date to set the build date in the Makefile in a variable - debian/rules: pass the correct value of the build date to the Makefile Thanks to Juan Picca <jumapico@gmail.com> and Jakub Wilk <jwilk@debian.org> for the patch! * rename patch 0001-dont-activate-debug-flag to be consistent with other patches Checksums-Sha1: e7cf72c84f7e153e483be8fdbbe81e0f69ce22ec 2233 alt-ergo_0.99.1+dfsg1-3.dsc d0febc95e35aeb9c06cfd8546684f1bb6db10bf0 12540 alt-ergo_0.99.1+dfsg1-3.debian.tar.xz 362a8bd2caf56b66f16d6aec91cfecb59e0c9a28 2021184 alt-ergo_0.99.1+dfsg1-3_amd64.deb Checksums-Sha256: 829c7bce291cc41131c7e272da02886ac32a4e9ce946abefc87fe54c167465d1 2233 alt-ergo_0.99.1+dfsg1-3.dsc 373410436bb615b273ace93ec3225796c4b956c9547da8f4ea50a9ceb023858a 12540 alt-ergo_0.99.1+dfsg1-3.debian.tar.xz 01018d02fe289266fcb8c430d0f259e728eed1aed24b80ba54efda1184de8d1f 2021184 alt-ergo_0.99.1+dfsg1-3_amd64.deb Files: 71c10d92498d432de619afc5406a9a00 2233 math optional alt-ergo_0.99.1+dfsg1-3.dsc 49247ef371ee893c4d434f2eae309b4e 12540 math optional alt-ergo_0.99.1+dfsg1-3.debian.tar.xz 1bd522c4730eeaf2a21a1ca7bbbf8147 2021184 math optional alt-ergo_0.99.1+dfsg1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVZMUoAAoJEHRcR2bUys3/alMP/iEyUtmD8T9+3nShw1SdSmXX E+PXjfmufQ4o9mGVx9I/T36d3BEc+tWDeR5jSt9MSA/4cLgtSc/kYB09aqRLa18Z OW+/vZUTNq6C7AY55R7F41ixcfm4D5mUoaiRvOGRovLRl38yfDMiIKQexMqTwOZ/ SR1uGHcR2U47mktMm2Lv6kaFj85jrPY7mTyhl3UjTyRDL8sd8ADzEtbnhQizTI0b +OI77uTsdDgvbrYpLnX4RMyNAFdHhBUJ4lTm7T9SuAV+v0/D+aNmpqhTFZag6Xn9 vQoqVzwOvRhKeSVd75SK7L58w3WhcSWEdAloUVvOpme1QiGc9u8nHFRwrvLdfyov Pl9NZJW9aTlrDegNgwewvoByhC5AnaX0LMZ0QJZ6Hk+mHpETTz96RmJPKS2EMZZu 4SjkWwwSBdeh473Hv1dCqr45JqtcRyUtWWP417xYq8JY0JPc24vjkX6JIcTna8bb cjHetm7gUx7/b7V+P8tdQgJsD7kwkSq7O7DUv7YYd5Or+pa7lSYSIwim3PkzAHMX b29VwFLKpp45xg6fk0EGFdC2ncBG5IR/hFnd+hjO2jJxFY0qMcR/cv058Z9iDKdw jytty2wCgfDSArURnE61Pb+Pe8FgyNRiR5MrIfEES7srEoKMDiQfLaUfie1EnduQ E+A7QUwFnO8iXuSYwCra =SP8R -----END PGP SIGNATURE-----
