proofgeneral 3.7-3 source package in Ubuntu
Changelog
proofgeneral (3.7-3) unstable; urgency=low * Fix bin/proofgeneral script: - correct lowercase path to the lisp directory. Closes: 473893 - working -v and --version option which need the PGHOME to work. proofgeneral (3.7-2) unstable; urgency=low * Debconf templates and debian/control reviewed by the debian-l10n- english team as part of the Smith review project. Closes: #450681 * [Debconf translation updates] - Galician. Closes: #451163 - Portuguese. Closes: #451170 - Finnish. Closes: #451280 - German. Closes: #451761 - Czech. Closes: #451832 - French. Closes: #452809 - Dutch. Closes: #452951 - Russian. Closes: #453317 - Vietnamese. Closes: #453650 * [Lintian] Insert correct copyright in debian/copyright -- Ubuntu Archive Auto-Sync <email address hidden> Fri, 02 May 2008 02:23:10 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- 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-3.diff.gz | 20.9 KiB | fd1462b4bfd913cf07222afcc1dd928aaba8b680194c0c2c2069b0e4537a7ba6 |
proofgeneral_3.7-3.dsc | 714 bytes | 5ee3cb3035c188e6ed94421023701cbaf4fe6932ccf0f281e8610d1ed4d073af |
Binary packages built by this source
- proofgeneral: No summary available for proofgeneral in ubuntu intrepid.
No description available for proofgeneral in ubuntu intrepid.
- proofgeneral-coq: No summary available for proofgeneral-coq in ubuntu intrepid.
No description available for proofgeneral-coq in ubuntu intrepid.
- proofgeneral-doc: No summary available for proofgeneral-doc in ubuntu intrepid.
No description available for proofgeneral-doc in ubuntu intrepid.
- proofgeneral-minlog: No summary available for proofgeneral-minlog in ubuntu intrepid.
No description available for proofgeneral-minlog in ubuntu intrepid.
- proofgeneral-misc: No summary available for proofgeneral-misc in ubuntu intrepid.
No description available for proofgeneral-misc in ubuntu intrepid.