proofgeneral 4.4.1~pre170114-1 source package in Ubuntu
Changelog
proofgeneral (4.4.1~pre170114-1) unstable; urgency=medium * Imported Upstream version 4.4.1~pre170114 git hash 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899 * fix lintian copyright issue * add patch fix-coqtags and install coqtags * add emacsen compat file (Closes: #758968) * add patch desktop-keyword-entry for desktop-entry-lacks-keywords-entry lintian warning * disable StartupWMClass towards a solution of #746466 * fix emacs warning inside emacsen-install -- Hendrik Tews <email address hidden> Mon, 16 Jan 2017 17:30:55 +0100
Upload details
- Uploaded by:
- Hendrik Tews
- Uploaded to:
- Sid
- Original maintainer:
- Hendrik Tews
- Architectures:
- all
- Section:
- editors
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | editors |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
proofgeneral_4.4.1~pre170114-1.dsc | 1.9 KiB | 29e9c41f3fabf0a0c2f7e4249fccb6c8222a67ce8c8738d3f9172badf290fcd2 |
proofgeneral_4.4.1~pre170114.orig.tar.xz | 8.9 MiB | bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d |
proofgeneral_4.4.1~pre170114-1.debian.tar.xz | 19.3 KiB | babfc1232f9a7bdbf295173a3446a3d06ec74ec05dd05c230b5b5e3f08587db8 |
Available diffs
No changes file available.
Binary packages built by this source
- proofgeneral: No summary available for proofgeneral in ubuntu disco.
No description available for proofgeneral in ubuntu disco.
- proofgeneral-doc: No summary available for proofgeneral-doc in ubuntu eoan.
No description available for proofgeneral-doc in ubuntu eoan.