Ubuntu
proofgeneral package

proofgeneral 4.4.1~pre170114-1.1 source package in Ubuntu

Changelog

proofgeneral (4.4.1~pre170114-1.1) unstable; urgency=medium

  * Non-maintainer upload
  * Switch to unversioned emacs-gtk package (Closes: #880285)

 -- Gianfranco Costamagna <email address hidden>  Thu, 25 Jul 2019 10:15:05 +0200

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

Builds

Eoan: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
proofgeneral_4.4.1~pre170114-1.1.dsc 1.9 KiB f031bc83bcf7eee4694960d04eb56e69d5a0f5a7effafdd6abb15ece18586621
proofgeneral_4.4.1~pre170114.orig.tar.xz 8.9 MiB bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d
proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz 19.3 KiB 7392f5100931811fecd760fda816df2366998ba99c1566fd15b947e972f65dce

No changes file available.

Binary packages built by this source

proofgeneral: No summary available for proofgeneral in ubuntu eoan.

No description available for proofgeneral in ubuntu eoan.

proofgeneral-doc: No summary available for proofgeneral-doc in ubuntu eoan.

No description available for proofgeneral-doc in ubuntu eoan.