Format: 1.8
Date: Tue, 01 Sep 2009 09:44:02 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: sparc
Version: 0.8-1build1
Distribution: karmic
Urgency: low
Maintainer: Ubuntu/sparc Build Daemon <buildd@sejong.buildd>
Changed-By: Michael Bienia <geser@ubuntu.com>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
Changes: 
 alt-ergo (0.8-1build1) karmic; urgency=low
 .
   * Rebuild with OCaml 3.11.1 on armel (lp: #421084)
Checksums-Sha1: 
 76effbb3d3f8865547c283e724a51383a5ef51bc 503586 alt-ergo_0.8-1build1_sparc.deb
Checksums-Sha256: 
 87f3fbd6d7b594022732bb52ca31c37f2fe83bc35dae4ecf4ad4cc95ba254f33 503586 alt-ergo_0.8-1build1_sparc.deb
Files: 
 639757fc2422e40cdff1f7c906db43a8 503586 math optional alt-ergo_0.8-1build1_sparc.deb
Launchpad-Bugs-Fixed: 421084