cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

this version doesn't work with ocaml 3.08, mark it as broken.

Browse Source 
ok naddy@
This commit is contained in:
aanriot 2005-08-09 22:50:15 +00:00
parent ed801f0682
commit 6efe8828a8
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/coq/Makefile
View File

@ -1,4 +1,6 @@
# $OpenBSD: Makefile,v 1.10 2004/12/27 07:16:44 alek Exp $
# $OpenBSD: Makefile,v 1.11 2005/08/09 22:50:15 aanriot Exp $
BROKEN= "requires update due to ocaml 3.08"
COMMENT= "proof assistant based on a typed lambda calculus"