cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
17,901 Commits 1 Branch 0 Tags 554 MiB
46cd41f99e
Commit Graph

4 Commits

Author SHA1 Message Date
naddy
b154af47f1 remove obsolete camlp4 dependency 2002-09-07 23:43:09 +00:00
pvalchev
c440a7d291 Update maintainer's email address, remove a dead master site. 
from Yozo TODA <yozo@v007.vaio.ne.jp>
 2002-01-31 20:41:38 +00:00
espie
0e6f6f93bb Kill first component of BUILD_DEPENDS. 
Fix sawfish comment while I'm at it.
`window manager for the X windows system'.
Like DUH ! It's going to be a window manager for my microwave oven ?
 2001-11-10 15:00:47 +00:00
naddy
3367255cb4 Import of coq 7.0. 
Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.

The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
 2001-09-22 14:24:31 +00:00