Publishing details

• Published on 2018-01-23

Changelog

proofgeneral (4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1) artful; urgency=medium

  * No-change backport to artful

 -- <email address hidden> (H.-Dirk Schmitt)  Tue, 23 Jan 2018 23:16:27 +0100

Builds

• amd64

Built packages

• proofgeneral generic frontend for proof assistants

• proofgeneral-doc generic frontend for proof assistants - documentation

Package files

• proofgeneral-doc_4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1_all.deb (658.8 KiB)
• proofgeneral_4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1.debian.tar.xz (19.3 KiB)
• proofgeneral_4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1.dsc (1.4 KiB)
• proofgeneral_4.4.1~pre170114-1~ubuntu17.10.1~c42.ppa1_all.deb (581.0 KiB)
• proofgeneral_4.4.1~pre170114.orig.tar.xz (8.9 MiB)