UbuntuUpdates.org

Package "proofgeneral-minlog"

Name: proofgeneral-minlog

Description:

generic interface for proof assistants - Minlog support
Latest version: 3.7-4
Release: precise (12.04)
Level: base
Repository: universe
Head package: proofgeneral
Homepage: http://proofgeneral.inf.ed.ac.uk

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "proofgeneral-minlog"

All arch deb package
APT INSTALL

Other versions of "proofgeneral-minlog" in Precise

No other version of this package is available in the Precise release.

Changelog

Version: *DELETED* 2012-03-06 10:51:29 UTC
No changelog for deleted or moved packages.

Version: 3.7-4 2011-12-18 16:48:55 UTC

proofgeneral (3.7-4) unstable; urgency=low

  * QA upload
  * Use Debian QQA as maintainer. Closes: #554263
  * Danish debconf translation update. Closes: #592274

 -- Christian Perrier Mon, 11 Oct 2010 21:47:36 +0200
554263 O: proofgeneral -- generic interface for proof assistants - common package - Debian Bug report logs
592274 [INTL:da] Danish translation of the debconf templates proofgeneral - Debian Bug report logs

Version: *DELETED* 2011-12-18 14:36:20 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates