[ubuntu/karmic] eprover 1.0.004-1ubuntu1 (Accepted)

[Andrea Gasparini]

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 <gaspa at yattaweb.it>
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Signed-By: Luca Falavigna <dktrkranz at ubuntu.com>
https://launchpad.net/ubuntu/karmic/+source/eprover/1.0.004-1ubuntu1
-------------- next part --------------
-----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 <ubuntu-motu at lists.ubuntu.com>
Changed-By: Andrea Gasparini <gaspa at 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: 
 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 <debian-science-maintainers at lists.alioth.debian.org>

-----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-----