Ubuntu
proofgeneral package

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 Pocket Published Component Section
Bionic release universe editors

Builds

Zesty: [FULLYBUILT] amd64

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

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.