Format: 1.8
Date: Mon, 23 Dec 2013 22:01:38 +0000
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: powerpc
Version: 0.95.2-1build1
Distribution: trusty-proposed
Urgency: medium
Maintainer: Ubuntu/powerpc Build Daemon <buildd@ross.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
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-1build1) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 9cabce73e7286924916900724af5aee55a065273 1372072 alt-ergo_0.95.2-1build1_powerpc.deb
 47177c2dccc3c07f2fde0aee4000c7d565ecd8d2 779808 libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb
Checksums-Sha256: 
 3e995e6bfc457b886d8251a2a3ad8624337c79c97313745b3e85a36da26fe4b9 1372072 alt-ergo_0.95.2-1build1_powerpc.deb
 54e0a27f60042f3df52a991f635da15db875fe9743abda331ce6c09b8f72f72d 779808 libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb
Files: 
 33b4fdfb980450fb8e8f907fdd7942d5 1372072 math optional alt-ergo_0.95.2-1build1_powerpc.deb
 dfdff18d84fc078d3458e09896a5a208 779808 ocaml optional libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb