Format: 1.8
Date: Wed, 27 May 2009 22:48:37 +0200
Source: eprover
Binary: eprover eprover-examples eprover-doc-html
Architecture: amd64
Version: 1.0.004-1ubuntu1
Distribution: karmic
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@yellow.buildd>
Changed-By: Andrea Gasparini <gaspa@yattaweb.it>
Description: 
 eprover    - Theorem prover for first-order logic with equality
 eprover-doc-html - Theorem prover for first-order logic with equality - HTML doc
 eprover-examples - Theorem prover for first-order logic with equality - examples
Launchpad-Bugs-Fixed: 381092
Changes: 
 eprover (1.0.004-1ubuntu1) karmic; urgency=low
 .
   * debian/rules: fix FTBFS in all archs except i386.  (LP: #381092)
     changed "build:" target as it makes build documentation for all archs.
Checksums-Sha1: 
 68bf9f7911f357a20485eff4ff2781ed0b0652a0 1025432 eprover_1.0.004-1ubuntu1_amd64.deb
Checksums-Sha256: 
 187bea899b7bc526ab081aeb2fa3b9ffd4b879a8ffba13fd3ccee00928b5fa5f 1025432 eprover_1.0.004-1ubuntu1_amd64.deb
Files: 
 36620bfdf71138db28809770e42c5ec7 1025432 science extra eprover_1.0.004-1ubuntu1_amd64.deb
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>