Next | Query returned 4 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2012-12-02 21:35:28 by othyro | Files touched by this commit (5) | Package removed
Log message:
Archive version of lang/coq. The version in HEAD now includes the doc
option, the only real difference between the two packages. Removing. Please
use lang/coq from now on.
   2012-09-24 20:26:51 by Aleksej Saushev | Files touched by this commit (116)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2010-06-14 00:46:55 by Thomas Klausner | Files touched by this commit (271)
Log message:
Bump PKGREVISION for libpng shlib name change.
Also add some patches to remove use of deprecated symbols and fix other
problems when looking for or compiling against libpng-1.4.x.
   2010-03-11 15:37:20 by othyro | Files touched by this commit (5) | Imported package
Log message:
Import coq-8.2pl1 as wip/coq.

Coq is a formal proof management system. It provides a formal language to write
mathematical definitions, executable algorithms and theorems together with an
environment for semi-interactive development of machine-checked proofs.

Next | Query returned 4 messages, browsing 1 to 10 | previous