[ubuntu/oneiric] eprover 1.0.004-1ubuntu2 (Accepted)

[Daniel T Chen]

eprover (1.0.004-1ubuntu2) oneiric; urgency=low

  * EXTERNAL/Makefile:
    PROVER/Makefile:
    - Make sure to link against libm properly. Fixes FTBFS. (LP: #770977)

Date: Fri, 16 Sep 2011 17:49:10 -0400
Changed-By: Daniel T Chen <crimsun at ubuntu.com>
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
https://launchpad.net/ubuntu/oneiric/+source/eprover/1.0.004-1ubuntu2
-------------- next part --------------
Format: 1.8
Date: Fri, 16 Sep 2011 17:49:10 -0400
Source: eprover
Binary: eprover eprover-examples eprover-doc-html
Architecture: source
Version: 1.0.004-1ubuntu2
Distribution: oneiric
Urgency: low
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Changed-By: Daniel T Chen <crimsun at ubuntu.com>
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: 770977
Changes: 
 eprover (1.0.004-1ubuntu2) oneiric; urgency=low
 .
   * EXTERNAL/Makefile:
     PROVER/Makefile:
     - Make sure to link against libm properly. Fixes FTBFS. (LP: #770977)
Checksums-Sha1: 
 ec1bae85c9b370faac706244715ab2dc0d05224b 1532 eprover_1.0.004-1ubuntu2.dsc
 9818eb9d1c8b225c57f67e5b3ebbc8b04619ecbf 22489 eprover_1.0.004-1ubuntu2.diff.gz
Checksums-Sha256: 
 a61b65a9a8b36677b0b4ac9d8c8ac142383c8196f39d989a705302bc1afa5613 1532 eprover_1.0.004-1ubuntu2.dsc
 2d33a16db1843af79e74a183c8d0457a20fc7279397443c7359a815e2cd95417 22489 eprover_1.0.004-1ubuntu2.diff.gz
Files: 
 93a104493a39e83cb2fcecf52fa0564f 1532 science extra eprover_1.0.004-1ubuntu2.dsc
 be0ea4cd16a524d30cbe9adbf6f7638e 22489 science extra eprover_1.0.004-1ubuntu2.diff.gz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>