-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 01 Mar 2016 21:17:13 +0100 Source: alt-ergo Binary: alt-ergo Architecture: source amd64 Version: 1.01-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (1.01-1) unstable; urgency=medium . * new upstream version. Refreshed patches. * debian/watch: version 4. Add option pgpsigurlmangle. * standards-version 3.9.7 (no change) * bump version of build-dependency ocaml, according to upstream install instructions. Checksums-Sha1: 367d9533e0be58b14f0b4d6da518a2c8ff68abe1 2173 alt-ergo_1.01-1.dsc 9374cef4f710127abf690a11c879a31f0336eb5c 226722 alt-ergo_1.01.orig.tar.gz 5189c787e427cd7ca2c2fc46ffa75a82e9bf1de8 13208 alt-ergo_1.01-1.debian.tar.xz b0e96671f3307aad023dd5f11a12d2b709713f34 342906 alt-ergo-dbgsym_1.01-1_amd64.deb 94d579ca72701cc33a1a678fd623a01189e2f27b 1774034 alt-ergo_1.01-1_amd64.deb Checksums-Sha256: f7e7c9f10ab9b7273912572a019d4bb809653d5f18a6fc0e252dc74799bcf7f2 2173 alt-ergo_1.01-1.dsc 5101d7f9087b35806b1db05e5e82bc8334e69d1147d7cda04abad0e771d0def8 226722 alt-ergo_1.01.orig.tar.gz 723b11e9ec9eb10f5358a638378b5d0296bf58b8f32110de4d965327c67609ca 13208 alt-ergo_1.01-1.debian.tar.xz 21f240f080f049663582281b707561312fd348a01f8473d8392a06a8e202c04c 342906 alt-ergo-dbgsym_1.01-1_amd64.deb d3d188ea0574469078762dee3e8ffd59a0bc9c4e44215606ad8a429ad8816c3e 1774034 alt-ergo_1.01-1_amd64.deb Files: 3191d69aac7ff082929bc576e8f28447 2173 math optional alt-ergo_1.01-1.dsc c5fccde3e4379b09b2b848a6f08fc7a7 226722 math optional alt-ergo_1.01.orig.tar.gz 59b74fa4c32e2f342d307575c0d64b79 13208 math optional alt-ergo_1.01-1.debian.tar.xz 39d0956fe255413b427092c029199388 342906 debug extra alt-ergo-dbgsym_1.01-1_amd64.deb e8625f1ada1cc57076f81b841ca0dd29 1774034 math optional alt-ergo_1.01-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJW1fxlAAoJEHRcR2bUys3/UrQP/26DSrBJm+4Un8kRaYOPToER fhtSVlZ6rZaFz3U6deN8v0S/+CC4fk/0tTk44AvFwfImW8mLjl53x/DzzUh/UQZZ DcCXE4Oyn35kUtgxztQQ4SGlS6qxkTfeRmvPIKjcZDm977wO/u3s6F2rvuUd/9+g Sq+853aEzpD+cRgXysgeBKYLPS9yIvZWz9l+Tcu2HMQeJQCW3ptSIs5MK/2FyNau FdqNoYlzeWI9hlCyCyfTN8R11eljhkyaqlfp2+9dmr8n+eFF0u1a/tTQISliIfsp 369u14zSl+F3rn3O7elCQcpQKn8NrszoubYnnMLaXS7yTeqRLJFS51JmnhejbqfA kAHafM2ETWkMdujG71rfkmp9ukyQ2dOLVhlkWQ/GvM4npHFb/2xTpmQYLjgul3pv b8u4gnBrxEg2+8jtQ6a0bQZh5qRUIhZL4xlJ+l9RjIGmKTrmTiWN8uvHv+hlb8MW fJHICwwLgHqouc7evhjsIBvabIizGUl0g+e2H7/W9SMtxzIC0NGU8Y7lnfwFrBMR 6FagxIozkwLI+PF0BWm7YgeP0c9VP9bYpsNyFU1u8Q15/S8lh9ya9pdf/Aa5Xx2a F6hoWcpFiIaVCAdSakc5P977ooKxAA62AICXbIcu4bBN3ReF+S8uOLWAmO1oocI0 A6kbmgPHnLVsSgCGqprR =H/wJ -----END PGP SIGNATURE-----