Ubuntu
proofgeneral package

proofgeneral 4.4.1~pre161230-0.1 source package in Ubuntu

Changelog

proofgeneral (4.4.1~pre161230-0.1) unstable; urgency=medium

  * Non-maintainer upload.
  * New upstream release.
  * Make package work with emacs24 or emacs25 (Closes: #846990).
  * debian/control: Remove ${shlib:Depends} for package proofgeneral.
  * Drop debian/menu, following tech-ctte decision on #741573.
  * debian/README.Debian: Remove special note about prooftree, which
    is now a proper Debian package, and added HOL Light as prover.
  * debian/*: Adapt to new upstream home at github.
  * debian/patches/:
    - drop smartly-enable-prooftree
    - restrict-installed-provers.patch: added hol-light as prover
    - refresh all others

 -- Richard B. Kreckel <email address hidden>  Fri, 30 Dec 2016 22:22:22 +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

Builds

Zesty: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
proofgeneral_4.4.1~pre161230-0.1.dsc 2.0 KiB d3dfcafbc90af553475d55496614535836fc121b6db2b25e1b72d63d837cf129
proofgeneral_4.4.1~pre161230.orig.tar.xz 11.1 MiB ab32f8039c920cf409151fec5cff6ef0c6eddda3740726d2acf2479383631f34
proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz 18.7 KiB d7e23953e33d9f0203f0aea416fd9fd4a900db39ac6e6f6d04fccedf26f17dde

No changes file available.

Binary packages built by this source

proofgeneral: No summary available for proofgeneral in ubuntu zesty.

No description available for proofgeneral in ubuntu zesty.

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

No description available for proofgeneral-doc in ubuntu zesty.