Format: 1.8
Date: Fri, 10 May 2013 21:19:12 +0200
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: i386
Version: 0.95.1-2
Distribution: saucy-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@aatxe.buildd>
Changed-By: Ralf Treinen <treinen@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.1-2) unstable; urgency=low
 .
   * upload to unstable
Checksums-Sha1: 
 4b43061bcf745823c0c9e40fcfed8130508d1374 1676516 alt-ergo_0.95.1-2_i386.deb
 c2ac7fff64de35d7ebe7ce87c1fadeddf88cb646 652624 libalt-ergo-ocaml-dev_0.95.1-2_i386.deb
Checksums-Sha256: 
 e733d4d21a2e8c47d74c13bdd429495f3efa87ba04eb47c3802e8bcdaa1f4bef 1676516 alt-ergo_0.95.1-2_i386.deb
 a727e1bb3a6991272b0ce966a19c9f24c0b3eada8fd50ba360277540eb950914 652624 libalt-ergo-ocaml-dev_0.95.1-2_i386.deb
Files: 
 872c5031d6fffa917209b5a197539abf 1676516 math optional alt-ergo_0.95.1-2_i386.deb
 7b9701487867ebc1b81f5c94d1eaa056 652624 ocaml optional libalt-ergo-ocaml-dev_0.95.1-2_i386.deb