summaryrefslogtreecommitdiff
path: root/lang/coq/distinfo
AgeCommit message (Expand)AuthorFilesLines
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-12-27 13:25:03 +0000