Back to alt-ergo PTS page

Accepted alt-ergo 1.01-1 (source amd64) into unstable



-----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-----