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
- Sponsored by:
- Luca Falavigna
- Uploaded to:
- Karmic
- Original maintainer:
- MOTU
- Architectures:
- any
- Section:
- science
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | 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
- diff from 1.0.004-1 to 1.0.004-1ubuntu1 (727 bytes)
Binary packages built by this source
- eprover: No summary available for eprover in ubuntu natty.
No description available for eprover in ubuntu natty.
- eprover-doc-html: No summary available for eprover-doc-html in ubuntu karmic.
No description available for eprover-doc-html in ubuntu karmic.
- eprover-examples: No summary available for eprover-examples in ubuntu karmic.
No description available for eprover-examples in ubuntu karmic.