-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 01 Jun 2010 21:24:28 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.91-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (0.91-1) unstable; urgency=low
.
* New upstream release.
* Update my email address and remove DMUA
* Refresh packaging (dh-ocaml, dh overrides, quilt)
- Do not run tests when input files are absent
0002-Do-not-run-the-test-if-test.mlw-is-absent.patch
* Bump standards to 3.8.4
- Add a debian/README.source
* Add a debian/source/format (keep 1.0 format, for now)
* Fix a typo in the sources
- Add 0003-Fix-a-typo.patch
Checksums-Sha1:
0879f80d19ea6c447d1147a462488f24e5c3b940 1963 alt-ergo_0.91-1.dsc
b805b5673c21570967a1723ad84bdb6f3f5f348d 135900 alt-ergo_0.91.orig.tar.gz
1d00924f617ea02f6e5f8b8e6d869ebfe02530fb 10560 alt-ergo_0.91-1.diff.gz
9a6db650bdb3645e097876aa50114b3a8e705b84 605996 alt-ergo_0.91-1_amd64.deb
Checksums-Sha256:
d2e736bb4b66545c5b7c8dfd0d04bc0ffc5f61bc95577554e2f394e29c2014f8 1963 alt-ergo_0.91-1.dsc
1c326646a1c73acb3ab0c5e7694d882f96a0840ffe2c566e5e7035a0a2aa2124 135900 alt-ergo_0.91.orig.tar.gz
ac6a38049cd9d1f82e0bbc83fe912869d13519f214f01be932d9543cb5afe80c 10560 alt-ergo_0.91-1.diff.gz
fecea31b6195855a3d30e8f3855dfe8f81240fdf590aba2a93a501ad7a5e4d7b 605996 alt-ergo_0.91-1_amd64.deb
Files:
b42af43885f8d26edce82fcf20b29e11 1963 math optional alt-ergo_0.91-1.dsc
730efa375fed3d0142f581326bed0736 135900 math optional alt-ergo_0.91.orig.tar.gz
8d7023b438c5fd8a8ddb9e0f40cab6d5 10560 math optional alt-ergo_0.91-1.diff.gz
69865cf98eaafded170c56a665cbdea8 605996 math optional alt-ergo_0.91-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJMBV8sAAoJEDO+GgqMLtj/rC4P/2d2IEae/V8YyNqaamtu2LC/
WdkPAIRNNjDbpXpAzQU7EyHjXsmekkQEW+6ygXy7r6sEjLr5m76SWHFUtzB6pXZv
wKCYXrqW6iE99k2cg5ra0/fRo9n1fgS3oNT6f9IVDkQdueCYmJkhO+dSJ0LC/3n/
Ho7os5AlTkQr4qRmF3kFsLKk3vrnGHz5hUOYQlT/GZuthQ9DZ830K4Y0PO8SocPn
kGWQh0qvK0qlwuUuq2PhPWRppv7tAu8LX2kJcCAbnrs3hraS6mNq14U0bpPD8yK7
BxOiehX60Z+fttia38uOtSWFpaQB0KF03zwJE84mvrEbutXpIKpj794GeoEUv9dq
T3//woXpdkGKobQoqxfT3ALhTRaDGFn1BZr9OZscTJymXWLteXxEA2u6gvgyQDON
ijumfI0ZwOXmgPx713PuNd8Svh4wjkBezap+2cevulSrDM7AuOL2ATNHCwz81IIE
v7dFsyJFb+ZYSPbvpzbmpQXV4PPzrqkhyVHfXLUekonDLh/UwYZ9SqWbbPXKDATQ
i8p43nX+wCucfxm9lea2fexJAu2felb2qfZjjGWDp5XkjAffGCaKHApoK3oA8HGB
n76W/UCLs4HpYUS0IUEvUO8ghlzlhkpJyLDMVnGxhSJNn4ujPpPuOCDf6KcNLTqI
zwHxLmY7gP/SJGxvCP7A
=aZCj
-----END PGP SIGNATURE-----
Accepted:
alt-ergo_0.91-1.diff.gz
to main/a/alt-ergo/alt-ergo_0.91-1.diff.gz
alt-ergo_0.91-1.dsc
to main/a/alt-ergo/alt-ergo_0.91-1.dsc
alt-ergo_0.91-1_amd64.deb
to main/a/alt-ergo/alt-ergo_0.91-1_amd64.deb
alt-ergo_0.91.orig.tar.gz
to main/a/alt-ergo/alt-ergo_0.91.orig.tar.gz
