proofgeneral 3.5-6 source package in Ubuntu
Changelog
proofgeneral (3.5-6) unstable; urgency=low * Removed support for mzscheme <300 * Only use one startup script for all emacs versions * Added nl translation. Closes: 418390 * Moved to menu section Applications/Science/Mathematics proofgeneral (3.5-5) unstable; urgency=low * Fix emacs dependencies. Emacs22 is current now in sid. Closes: 434975, 403147 -- Ubuntu Archive Auto-Sync <email address hidden> Tue, 23 Oct 2007 18:26:32 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Hardy
- 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.5.orig.tar.gz | 1.7 MiB | f136ddcb968c43cde9ae7f9afe3dc6e95d10be15449828d1b19d03f932904050 |
proofgeneral_3.5-6.diff.gz | 17.1 KiB | 245c0ab563cb488c82ce6eeccef172d6d2a437b84167ed002d0aad76e006ae81 |
proofgeneral_3.5-6.dsc | 671 bytes | ae386aa6cc05efb70cf124abfffc3719deb013075a9dca3fb713c6a696b5392b |
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 hardy.
No description available for proofgeneral-doc in ubuntu hardy.
- 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.