Accepted alt-ergo 0.99.1+dfsg1-3 (source amd64) into unstable
-----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-----