-----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-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@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----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1wun85-0003p4...@franck.debian.org