Ubuntu
proofgeneral package

proofgeneral 4.2~pre120605-1 source package in Ubuntu

Changelog

proofgeneral (4.2~pre120605-1) unstable; urgency=low


  * New upstream release (Closes: #669318)
  * fix byte-compile-error-on-warn in emacsen-install, --no-site-file has
    been dropped already in 4.2~pre120411-2 (Closes: #671583)
  * use debian-emacs-flavor in emacsen-startup (see #662163)
  * delete patch disable-proof-tree, add patch smartly-enable-prooftree
    for enabling prooftree if Coq >= 8.4beta is detected
  * fix package description
  * add hints on Prooftree and incompatibility with manual Coq
    installations to README.Debian
  * new patch for using debian-pkg-add-load-path-item (see #670339), but
    don't use it, because debian-pkg-add-load-path-item breaks Proof
    General, see #676424

 -- Hendrik Tews <email address hidden>  Wed, 06 Jun 2012 23:12:58 +0200

Upload details

Uploaded by:
Hendrik Tews
Uploaded to:
Sid
Original maintainer:
Hendrik Tews
Architectures:
all
Section:
editors
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Quantal: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
proofgeneral_4.2~pre120605-1.dsc 1.9 KiB 19b2fd6ff2fe951e35bcb8920d6026c2068292602a3a3ec332451f38c99baf95
proofgeneral_4.2~pre120605.orig.tar.gz 996.4 KiB fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab
proofgeneral_4.2~pre120605-1.debian.tar.gz 19.5 KiB c7526d768e5cb85094849fd1bec047643fdb17c1d798ce71bda96806c505a979

No changes file available.

Binary packages built by this source

proofgeneral: No summary available for proofgeneral in ubuntu quantal.

No description available for proofgeneral in ubuntu quantal.

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

No description available for proofgeneral-doc in ubuntu raring.