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.
