summaryrefslogtreecommitdiff
path: root/lang/coq/PLIST
AgeCommit message (Expand)AuthorFilesLines
2022-06-21lang/coq: update to 8.15.2 to make it work with current ocaml.dholland1-3402/+3209
2021-02-09Update lang/coq to 8.12.2.dholland1-694/+1962
2020-01-24Updated lang/coq to version 8.10.2.jaapb1-81/+154
2019-03-06Updated lang/coq to version 8.9.0.jaapb1-2085/+2157
2018-08-02Updated package lang/coq to version 8.8.1.jaapb1-158/+393
2018-06-16coq: always installs coqdoc.sty in tex tree.markd1-2/+2
2018-04-09Updated lang/coq to version 8.7.2.jaapb1-2/+26
2018-01-22Corrected PLIST for lang/coqjaapb1-3/+2
2018-01-10Updated package lang/coq to version 8.7.1.jaapb1-69/+573
2018-01-01Sort PLIST files.rillig1-26/+23
2017-11-03Updated lang/coq to version 8.7.0.jaapb1-341/+188
2017-09-08Updated package to latest version, 8.6.1. Changes include:jaapb1-1973/+1998
2016-12-30Updated coq to latest version, 8.6. Changes include:jaapb1-119/+147
2016-07-02Updated package to latest version, 8.5pl1. Also fixed a packaging bugjaapb1-2/+2
2016-02-06Updated package to latest version, 8.5. The changeset is over 500 linesjaapb1-180/+3167
2015-12-29Sort.dholland1-4/+4
2015-04-25Updated coq to version 8.4pl6. Changes from previous version include (apartjaapb1-1/+2
2014-10-09Revbump because of ocaml 4.02, added compilation patch (already injaapb1-5/+5
2013-10-30Install a LaTeX style file into texmf-dist, not texmf.minskim1-2/+2
2012-11-16Updated package to add 'doc' option and (if given) build documentation, asjaapb1-4/+892
2012-10-29Taken over maintainership (as discussed with previous maintainer,jaapb1-43/+131
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-20 07:00:12 +0000