eprover 1.0.004-1ubuntu1 source package in Ubuntu

Changelog

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.

 -- Andrea Gasparini <email address hidden>   Wed, 27 May 2009 22:48:37 +0200

Upload details

Uploaded by:
Andrea Gasparini on 2009-05-27
Sponsored by:
Luca Falavigna
Uploaded to:
Karmic
Original maintainer:
MOTU
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
eprover_1.0.004.orig.tar.gz 1.3 MiB 786398d799ca919b728898b53bdfdfaab7853c39d4ab9427c12890ba6d244445
eprover_1.0.004-1ubuntu1.diff.gz 21.3 KiB 34cf4f10345a73a7a02edffd1773a7d379bcbe1f2d582d078275fb9e1b6c46ec
eprover_1.0.004-1ubuntu1.dsc 2.1 KiB d7efe77b5869e508df966ee6c36e53be56e4c3fcc08a05681265a37eae3b7a5e

Available diffs

View changes file

Binary packages built by this source

eprover: No summary available for eprover in ubuntu oneiric.

No description available for eprover in ubuntu oneiric.

eprover-doc-html: No summary available for eprover-doc-html in ubuntu lucid.

No description available for eprover-doc-html in ubuntu lucid.

eprover-examples: No summary available for eprover-examples in ubuntu maverick.

No description available for eprover-examples in ubuntu maverick.