cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
154,488 Commits 1 Branch 0 Tags
Commit Graph

22 Commits

Author SHA1 Message Date
daniel
ddaab89ac0 update to coq 8.12.2; ok Yozo Toda (MAINTAINER) 2021-02-13 17:47:48 +00:00
daniel
bf994eea35 update coq to 8.12.1; a bug fix release 
ok Yozo Toda (MAINTAINER)
 2020-11-26 05:30:03 +00:00
daniel
baac4a0e6e Update to coq 8.12.0; tested by myself and MAINTAINER on amd64. 2020-08-09 02:45:34 +00:00
daniel
68586efc70 Update to coq 8.11.2; ok Yoza Toda (MAINTAINER) 2020-07-16 02:50:07 +00:00
chrisz
5ae518c3da Upgrade math/coq to 8.11.1 
ok daniel@
 2020-06-01 06:04:50 +00:00
daniel
7e3735bd84 Update to coq 8.10.0; ok Yoza Toda (MAINTAINER) 2019-10-16 06:40:03 +00:00
daniel
e14e5d002f - Update to beta3 to pickup a few bug fixes. 
- Make the regression tests more verbose like we used but lost in one
  of the recent updates.

ok Yozo Toda (MAINTAINER)
 2019-09-20 03:28:33 +00:00
chrisz
3eeef006f1 Upgrade to 8.10beta2, which supports OCaml 4.08. 
no objections krw@, please commit daniel@
 2019-09-06 22:10:18 +00:00
chrisz
b438efbd00 Upgrade OCaml and dependent ports 
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
 2019-03-04 12:51:12 +00:00
daniel
1c147d96fd Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@ 2015-06-19 21:25:32 +00:00
daniel
7be5704e9a coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER). 
using dpb, sthen@ discovered that having latex around at config time
but not at build time will cause the coq build to fail because
latex is not listed as a BDEP. Fix this as well.
 2014-11-18 02:00:52 +00:00
daniel
ad7f6192e7 Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@; 
fix taken from coq trunk.

ok Yozo Toda (MAINTAINER) some time ago.
ok chrisz@
 2014-08-27 09:44:59 +00:00
daniel
090ffc6b18 Update to 8.4pl3; Yozo Toda. 
ok sthen@
 2014-03-26 03:27:26 +00:00
sthen
7d0c407ab6 update to coq 8.4pl2, from Daniel Dickman, ok Yozo TODA (maintainer) 2013-11-08 23:11:48 +00:00
chrisz
0039808155 Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com> 
OK by Daniel, avsm@, Yozo TODA (maintainer) and jasper@
 2013-02-07 09:43:15 +00:00
chrisz
cc072d54cf update to version 8.4 
OK
jasper@, sthen@, Yozo Toda (maintainer)
 2013-01-04 11:07:28 +00:00
espie
9eafbbfb35 base64 checksums. 2007-04-05 16:19:55 +00:00
naddy
8e0d7f62ec SIZE 2005-01-05 17:05:00 +00:00
espie
c3a71ab9a0 fed up with changing checksums: provide a local mirror and kill 
IGNOREFILES.
 2004-07-11 12:18:44 +00:00
sturm
7f7292aee5 compile with ocaml 3.07 2003-12-31 17:06:42 +00:00
naddy
6cfb0e81a0 Update to 7.3.1 and unbreak. 
From: Yozo Toda <yozo@v007.vaio.ne.jp>
 2002-11-04 21:10:44 +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