projects / pkgsrc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 465151e) | patch
Import coq 7.4. From Christopher Richards in PR 20669.
authorkristerw <kristerw>
Sat, 22 Mar 2003 18:20:55 +0000 (18:20 +0000)
committerkristerw <kristerw>
Sat, 22 Mar 2003 18:20:55 +0000 (18:20 +0000)
commitabac8dca64508ff41e605bb2981984817c065ddf
tree658933b974b7bbd9658be0acfadcacba3281b126tree | snapshot
parent465151ef20ca00ce5938fd24e6ddb3c53add483ccommit | diff
Import coq 7.4. From Christopher Richards in PR 20669.

    Coq is a Proof Assistant for a Logical Framework known as the
    Calculus of Inductive Constructions. It allows the interactive
    construction of formal proofs, and also the manipulation of
    functional programs consistently with their specifications.
math/coq/DESCR [new file with mode: 0644] blob
math/coq/MESSAGE [new file with mode: 0644] blob
math/coq/Makefile [new file with mode: 0644] blob
math/coq/PLIST [new file with mode: 0644] blob
math/coq/PLIST.opt [new file with mode: 0644] blob
math/coq/distinfo [new file with mode: 0644] blob
math/coq/patches/patch-aa [new file with mode: 0644] blob
DragonFly Project mirror of NetBSD pkgsrc GIT Source Repo