summaryrefslogtreecommitdiff
path: root/lang/coq/PLIST
AgeCommit message (Expand)AuthorFilesLines
2010-11-14Update lang/coq to 8.3tonio1-173/+360
2009-09-05Update lang/coq to 8.2pl1tonio1-59/+446
2009-06-14Replace @exec/@unexec with @pkgdir or drop it.joerg1-2/+2
2009-06-14Remove @dirrm entries from PLISTsjoerg1-36/+1
2008-04-12Convert to use PLIST_VARS instead of manually passing "@comment "jlam1-3/+3
2007-12-01Update lang/coq to 8.2pl2tonio1-1/+3
2007-02-25Update lang/coq to 8.1tonio1-265/+129
2007-01-17Add an option "coqide" to enable the gtk2 ide of coqtonio1-1/+3
2006-01-27Update lang/coq to 8.0pl3tonio1-81/+82
2005-02-05- Update of coq from 7.4 to 8.0pl2adrianp1-29/+287
2003-03-22By popular demand, move coq-7.4 from math to lang in order to be consistentkristerw1-0/+268