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.
Date: Wed, 27 May 2009 22:48:37 +0200
Changed-By: Andrea Gasparini <[email protected]>
Maintainer: Ubuntu MOTU Developers <[email protected]>
Signed-By: Luca Falavigna <[email protected]>
https://launchpad.net/ubuntu/karmic/+source/eprover/1.0.004-1ubuntu1
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 27 May 2009 22:48:37 +0200
Source: eprover
Binary: eprover eprover-examples eprover-doc-html
Architecture: source
Version: 1.0.004-1ubuntu1
Distribution: karmic
Urgency: low
Maintainer: Ubuntu MOTU Developers <[email protected]>
Changed-By: Andrea Gasparini <[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: 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:
dae2cfffbc0a735088b6a5c7498e277eb7858091 2171 eprover_1.0.004-1ubuntu1.dsc
ecea01f4a7ab42e7fae84f4062a711b148997a99 21852 eprover_1.0.004-1ubuntu1.diff.gz
Checksums-Sha256:
d7efe77b5869e508df966ee6c36e53be56e4c3fcc08a05681265a37eae3b7a5e 2171
eprover_1.0.004-1ubuntu1.dsc
34cf4f10345a73a7a02edffd1773a7d379bcbe1f2d582d078275fb9e1b6c46ec 21852
eprover_1.0.004-1ubuntu1.diff.gz
Files:
37c1d6f3ddb713723b1a3cf2e5c14709 2171 science extra
eprover_1.0.004-1ubuntu1.dsc
e62ed0e67b04345911ce5721eb7b8251 21852 science extra
eprover_1.0.004-1ubuntu1.diff.gz
Original-Maintainer: Debian Science Maintainers
<[email protected]>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iQIcBAEBCAAGBQJKHbx/AAoJEIUYeTDXKFvzissP/jDTvjfdVS6rAgNdEp8t+EoM
zggoOK5tFPDxdT5vg2FyYBxHsgzw6QWXlZkBlHk/PnBqAZlqd3kg56NN4miRMWs8
p3bceE6dTfGeRqMNjVT+xCyessWRvKJBKuLcR8xrbw8S3ngG6zb6CR1gTlnrZmGU
0PDPrc6nbqy0dmhI7pC2K3yYh2ILXNLIPt+XklWZjF4rf/yOOnaGMeynMJ3IDQhl
j2fcajUdkePdCgIJ3B7AH2JwvdMWsxR+QWGdwP48P78lIvkP0dtLKI6QWg8oLnWo
yd9M6sDvJV/0h9XZRVjV2gM3FLklpADsR3fAvUnJvZWB2Wi/vFj+bS5dL+8Oj3b/
Cq/uusLkHl+nDRfkr/luHS6RgrQvZX5/tWzEJcMdiZ0quB/NWJbXyThZH7HnECvA
swuQYCGVpHB8rm0wHOLWuYutarIhbL7xtk5g2amxv+Jwl2TGyGFT05HcWfnyaNoU
jQ8kypjPVmEmoMiApNHB8OZEvT/+eoGw40Ha61UTXpyaOxJZOzkn5GJg5vC4dzHg
5NGPdd7kQivkyrnExeL6CpOZxbch8AaNBB0XkqLy0+Y083rZiVvYrDG5sTxhJznX
z0yToBUDh8IDxXEcos3xaQRhWfWaqXZxzTtqZONW9zmnHu+HL/rTsOx3sk6MWVN+
rZv2f+ELYTDXfsfTGUnz
=yzIs
-----END PGP SIGNATURE-----
--
Karmic-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/karmic-changes
