Ubuntu
proofgeneral package

proofgeneral 4.2~pre120605-2 source package in Ubuntu

Changelog

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


  * add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285)
  * delete wrong info in README.Debian

 -- Hendrik Tews <email address hidden>  Tue, 04 Dec 2012 14:50:27 +0100

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

Raring: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
proofgeneral_4.2~pre120605-2.dsc 1.9 KiB 1904543a6a7e6f42fe02760e8faa420b83770fb8cb4b629da73723effa50c84e
proofgeneral_4.2~pre120605.orig.tar.gz 996.4 KiB fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab
proofgeneral_4.2~pre120605-2.debian.tar.gz 19.4 KiB b79a0779352575a028f0304c16a3ea3cc9a1b2567b3c9f44b5f7331d229dce42

No changes file available.

Binary packages built by this source

proofgeneral: No summary available for proofgeneral in ubuntu saucy.

No description available for proofgeneral in ubuntu saucy.

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

No description available for proofgeneral-doc in ubuntu saucy.