Accepted alt-ergo 0.95.2-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 27 Apr 2014 21:42:15 +0200
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source amd64
Version: 0.95.2-3
Distribution: sid
Urgency: medium
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
libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries
Changes:
alt-ergo (0.95.2-3) sid; urgency=medium
.
* Remove previously introduced patch since relevant API change
has been reverted in OCamlgraph 1.8.5.
- Remove 0002-Port-to-OCamlgraph-1.8.4.patch
- Build-Depend on OCamlgraph >= 1.8.5~.
Checksums-Sha1:
5f1dd8e02e398884d65d929568b82302ea96d8b7 2255 alt-ergo_0.95.2-3.dsc
698d5efd7c4576930c56c757d04db8288bc28107 11264 alt-ergo_0.95.2-3.debian.tar.xz
7b2ac65d09f6a17870213e43055976fc2aaf4cbe 1579104 alt-ergo_0.95.2-3_amd64.deb
e48aef181ffc15c7bee58fc7c9b45a805dcafcd2 716560 libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb
Checksums-Sha256:
3b391aeb29611513e828a96089039ed4ae756b898de5e1592da7feafcf214e8e 2255 alt-ergo_0.95.2-3.dsc
4991ea152a5b95795304295c2641e615fb88feff44afee0b41db252b25ceb27d 11264 alt-ergo_0.95.2-3.debian.tar.xz
71e6841c856f33c7bdadf6fad142065135134863ab0fcce221854eb17a27b449 1579104 alt-ergo_0.95.2-3_amd64.deb
c88a2d23ccb80b84ab087703c5e03aed29f1ed9872c6bf0c0555c84f4826e76c 716560 libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb
Files:
fa76999033b8d999f8f85e65973d0e61 1579104 math optional alt-ergo_0.95.2-3_amd64.deb
023b391456d637adaf2c33ff30a931d6 716560 ocaml optional libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb
d7a0923024c3fd5dab54f37bda1a80fc 2255 math optional alt-ergo_0.95.2-3.dsc
f4c5003e9578a5c51dd39e524c8ff505 11264 math optional alt-ergo_0.95.2-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTXW61AAoJEDO+GgqMLtj/8GsP/13AwZlgbi+OooHu5e48wsZP
rqWXqDLyHu2IBVH7Ua+iRlgVv/afaIeQjv6k3uehfzheZlqLbQ78vRN6DD0tPWaM
kRc43jncfQT9INRSXAm0cVpXXyDM3f0smcf2nOsx2t5YmqPxr/+W2196CXCEmGNI
7mehxAwjO0Jf9WqtuD91N4fl3BpytxcFExclVVv/qzDzXraWdUWQRwuQuPEufs+2
9KlCKINTdt+6PWfkRTG58aPD+3M0/fJAt9Ta4M8uOQPpglbIZqejwbwn1BGM+nyW
TGUjYcGkqAS3OLZx8rhGskif2jLdGQKn83SObYlxhNhSwP9fy0XPhWtsYTMbPmDP
mwhAy6DYm8xnEF3LKEFffRqcXY+ERinkoi2h6gu+0dxqBTqCPI75PNM99V2FhfAT
fKQMLj5o8R8NdGcfqRxmdrJInCiE0z94oDmz1MCG3Ix8UUC3SU+Vh1KQg6/UpTB8
agZN3W3WFZpQBTTcIXIKWxXudM1t4WdG4x8dtbsT9cgwrX9jlZc8eFnxSELyOOQ6
XrIxese1Qb55+hKfEhAkQ1TX+toXRVRzDde2YBuA9PLCORUReLqPjb7J/0hvCjNx
k0aWpQ3th9n3390fxkkxm8QhRb9bLUUDuXIemojv5cCf6S4T62nDtH3k2b0AtmZP
sIhkD6SsGsjudL3TT6o/
=0o8l
-----END PGP SIGNATURE-----