Back to alt-ergo PTS page

Accepted alt-ergo 0.95.2-2 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 30 Mar 2014 23:07:47 +0200
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source amd64
Version: 0.95.2-2
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
Closes: 743072
Changes: 
 alt-ergo (0.95.2-2) sid; urgency=medium
 .
   * Port to OCamlgraph 1.8.4 (Closes: #743072)
     - add 0002-Port-to-OCamlgraph-1.8.4.patch
Checksums-Sha1: 
 da6d156de079f42028beb3d921082ef3674b6825 2234 alt-ergo_0.95.2-2.dsc
 15196ba55daa2dc4b4a02cd66d1b4f82b9a23a73 11476 alt-ergo_0.95.2-2.debian.tar.xz
 fab6346d09a90a0c827485e4085e0c5a6e967c79 1577838 alt-ergo_0.95.2-2_amd64.deb
 e7604ffaf013c138834c38a0710429bc6c86478d 716856 libalt-ergo-ocaml-dev_0.95.2-2_amd64.deb
Checksums-Sha256: 
 c389abae790f793dad86be4269097b88bc50e9d42357613e72494aa8a2ed6ff0 2234 alt-ergo_0.95.2-2.dsc
 45295b974e6d2b65e23d2702f1260ed034e50d0b39d3f946522c7b1b4d271b72 11476 alt-ergo_0.95.2-2.debian.tar.xz
 9b9a8498ab942fea8e71ce1da2a648f3385951b1ffbbfbe8ad7eeb4eb5ea79ed 1577838 alt-ergo_0.95.2-2_amd64.deb
 7366dcfff1745d361cecdc00ba9f4ed77bd48d4b327b64274b2a99bbbd54fa48 716856 libalt-ergo-ocaml-dev_0.95.2-2_amd64.deb
Files: 
 7278436408524313a828827189073492 2234 math optional alt-ergo_0.95.2-2.dsc
 a58b1a7bd4bbf12fb53002a65c0d502c 11476 math optional alt-ergo_0.95.2-2.debian.tar.xz
 c5bb85d9fb467df57e0bd7e75acb2959 1577838 math optional alt-ergo_0.95.2-2_amd64.deb
 563b7d171fefd50f8265c711074d7124 716856 ocaml optional libalt-ergo-ocaml-dev_0.95.2-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCAAGBQJTOImKAAoJEDO+GgqMLtj/Ab4QAM0I4oiVi5CvQRS1Uu+T429Y
ZVDw4LWfglHJVPKzgdr4jDdXk3O72/LaefutCdzDLT3KMMTVWHudZKTSAIsnZIZH
bL5fDrQkILNoi1fjdRpVdvvlDbGkM8al25krSU7kf1ZxgquJoGZ/atB9QsUQsdEK
YaEQjMHjYJN7ekuHmvieAAXxahgDJxt843rZOyao1URgCfPN926Xz8yGFJ1CV3os
8BylK+cj5YW25JDmikcqJt3lP+U6WSj3gPFqVUMgux03x/dOKaFoZRBjgQxWh6Ep
drwajYcH2nZ40E2wo2NFhQh23MDs/mwhT8SkPH4DPxsHuPxaf0t/htGNNtXFgLXO
ACqg/YxiSwpx4KgOEp92g3rI4ymO0aGnVqUmKulk76w+d3YY0+Zf1InRYzxJAf2f
Vl6FexZg/qpOOfg3pAuSVqC/s5T66igR5vlCbgn1aC073c28o1pzj8oCDzKUZK09
Zc2yyF7Qmkf8FQOHKDcW/J3E7Ku3To0LyOrVfHp/KgRatP7stiXtPHa91W+W8/ny
ECIW7ueOC7U56p5lO6RBduRxeE00wBFEoke+x2lMzXHyDAaSpTaQGRkRjLo7Whwb
cHugGJJL5hXAsVRs0vzD9xlER+OhDctQ6AhNnnZJDu60iQtSBPSzkF4LB1Toy6de
0vIwu6QU4uOrO9nN1ntz
=4F38
-----END PGP SIGNATURE-----