Package "proofgeneral-coq"
Name: | proofgeneral-coq |
Description: |
generic interface for proof assistants - coq 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
Download "proofgeneral-coq"
Other versions of "proofgeneral-coq" 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
-- Christian Perrier Mon, 11 Oct 2010 21:47:36 +0200 |
|||||
|
Version: *DELETED* | 2011-12-18 14:36:20 UTC |
---|---|
No changelog for deleted or moved packages. |
About
-
Send Feedback to @ubuntu_updates