summaryrefslogtreecommitdiff
path: root/lang/coq/distinfo
AgeCommit message (Expand)AuthorFilesLines
2016-12-30Updated coq to latest version, 8.6. Changes include:jaapb1-8/+7
2016-07-02Updated package to latest version, 8.5pl1. Also fixed a packaging bugjaapb1-6/+6
2016-02-06Updated package to latest version, 8.5. The changeset is over 500 linesjaapb1-6/+8
2015-12-29pkglintdholland1-2/+2
2015-11-03Add SHA512 digests for distfiles for lang categoryagc1-1/+2
2015-04-25Updated coq to version 8.4pl6. Changes from previous version include (apartjaapb1-5/+4
2014-10-09Revbump because of ocaml 4.02, added compilation patch (already injaapb1-1/+2
2014-05-13Update of package to version 8.4pl4. Changes include:jaapb1-5/+4
2013-10-27Don't use -fno-defer-pop.joerg1-2/+2
2013-10-26Accept GNU Make 4 and later.asau1-1/+2
2013-04-20Updated package to the latest version, 8.4pl2. Changes include:jaapb1-4/+4
2013-01-22Updated lang/coq to the newest version, 8.4pl1. Changes include:jaapb1-6/+4
2012-10-29Taken over maintainership (as discussed with previous maintainer,jaapb1-5/+7
2011-03-28Update lang/coq to 8.3pl1tonio1-6/+4
2010-11-14Update lang/coq to 8.3tonio1-8/+7
2010-11-07Make it build with newer gmaketonio1-2/+2
2009-12-12Support staged installation.asau1-1/+2
2009-09-05Update lang/coq to 8.2pl1tonio1-6/+7
2008-01-12Update lang/coq to 8.1pl3tonio1-5/+5
2007-12-01Update lang/coq to 8.2pl2tonio1-5/+6
2007-02-25Update lang/coq to 8.1tonio1-5/+5
2006-01-27Update lang/coq to 8.0pl3tonio1-5/+5
2006-01-16Make lang/coq compile with ocaml 3.09tonio1-2/+2
2005-02-24Add RMD160 digestsagc1-1/+2
2005-02-05- Update of coq from 7.4 to 8.0pl2adrianp1-4/+4
2003-03-22By popular demand, move coq-7.4 from math to lang in order to be consistentkristerw1-0/+5
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 16:23:10 +0000