Ubuntu
proofgeneral package

proofgeneral 4.5-1 source package in Ubuntu

Changelog

proofgeneral (4.5-1) unstable; urgency=medium

  * Fix d/watch.
  * Change maintainer&uploaders.
  * Switch from debhelper to debhelper-compat.
  * Bump standards-version to 4.6.2.
  * Don't depend on emacs-gtk (Closes: #951567).
  * Package new upstream release (Closes: #1030375, #917461, #1016815).
  * Declare d/rules doesn't require root.
  * Refresh patches.
  * Add a manpage for coqtags.

 -- Julien Puydt <email address hidden>  Thu, 17 Aug 2023 14:37:53 +0200

Upload details

Uploaded by:
Debian Math Team
Uploaded to:
Sid
Original maintainer:
Debian Math Team
Architectures:
all
Section:
editors
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe editors
Noble release universe editors
Mantic release universe editors

Builds

Mantic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
proofgeneral_4.5-1.dsc 2.0 KiB 4651b53639ce9c1a02ea50468d9bc4467e51e5aaf4c3fd74c5b695cb118dd781
proofgeneral_4.5.orig.tar.gz 1.1 MiB b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2
proofgeneral_4.5-1.debian.tar.xz 16.8 KiB 4a83de48314f2892c6c9e9b9b45b8ef79fcd41a06cf737fe5e8736d72d39c182

Available diffs

No changes file available.

Binary packages built by this source

proofgeneral: generic frontend for proof assistants

 Proof General is a major mode to turn Emacs into an interactive proof
 assistant to write formal mathematical proofs using a variety of
 theorem provers.
 .
 This package provides Proof General support for Coq. (There is no
 other proof assistant that one could sensibly support.)

proofgeneral-doc: generic frontend for proof assistants - documentation

 Proof General is a major mode to turn Emacs into an interactive proof
 assistant to write formal mathematical proofs using a variety of
 theorem provers.
 .
 This package provides the Proof General user manual in info, html and
 pdf form.