proofgeneral 3.7-3build1 source package in Ubuntu
Changelog
proofgeneral (3.7-3build1) intrepid; urgency=low * Rebuild against thread-enabled guile-1.8. -- Martin Pitt <email address hidden> Wed, 06 Aug 2008 14:20:15 +0000
Upload details
- Uploaded by:
- Martin Pitt
- Uploaded to:
- Intrepid
- Original maintainer:
- Dr. Stefan Schimanski
- Architectures:
- all
- Section:
- editors
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| proofgeneral_3.7.orig.tar.gz | 1.9 MiB | 9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 |
| proofgeneral_3.7-3build1.diff.gz | 20.9 KiB | e81664f4733679a63633e810b192d96720e8a3ad7a842ca365cb0f641302f818 |
| proofgeneral_3.7-3build1.dsc | 1.1 KiB | 5e7954de329a2646f892ed8738b9f71f0e1021114b56196ae824f606ecf1a546 |
Available diffs
- diff from 3.7-3 to 3.7-3build1 (347 bytes)
Binary packages built by this source
- proofgeneral: No summary available for proofgeneral in ubuntu karmic.
No description available for proofgeneral in ubuntu karmic.
- proofgeneral-coq: No summary available for proofgeneral-coq in ubuntu lucid.
No description available for proofgeneral-coq in ubuntu lucid.
- proofgeneral-doc: No summary available for proofgeneral-doc in ubuntu karmic.
No description available for proofgeneral-doc in ubuntu karmic.
- proofgeneral-minlog: No summary available for proofgeneral-minlog in ubuntu karmic.
No description available for proofgeneral-minlog in ubuntu karmic.
- proofgeneral-misc: No summary available for proofgeneral-misc in ubuntu lucid.
No description available for proofgeneral-misc in ubuntu lucid.
