summaryrefslogtreecommitdiff
path: root/lang/coq/patches
AgeCommit message (Expand)AuthorFilesLines
2009-09-05Update lang/coq to 8.2pl1tonio3-168/+34
2008-01-12Update lang/coq to 8.1pl3tonio1-13/+4
2007-12-01Update lang/coq to 8.2pl2tonio2-6/+29
2007-02-25Update lang/coq to 8.1tonio1-31/+22
2006-01-27Update lang/coq to 8.0pl3tonio1-22/+7
2006-01-16Make lang/coq compile with ocaml 3.09tonio1-7/+21
2005-02-05- Update of coq from 7.4 to 8.0pl2adrianp1-26/+172
2003-03-22By popular demand, move coq-7.4 from math to lang in order to be consistentkristerw1-0/+31