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 <[email protected]>
Maintainer: Ubuntu MOTU Developers <[email protected]>
https://launchpad.net/ubuntu/oneiric/+source/eprover/1.0.004-1ubuntu2
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 <[email protected]>
Changed-By: Daniel T Chen <[email protected]>
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
<[email protected]>
--
Oneiric-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/oneiric-changes
