-----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-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 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----- -- 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/e1wewtd-0003cp...@franck.debian.org