| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2022-06-21 | lang/coq: update to 8.15.2 to make it work with current ocaml. | dholland | 5 | -21/+52 |
| 2021-02-09 | Update lang/coq to 8.12.2. | dholland | 2 | -3/+18 |
| 2020-01-24 | Updated lang/coq to version 8.10.2. | jaapb | 2 | -16/+2 |
| 2019-09-01 | coq: patch to build with ocaml 4.08 | markd | 1 | -0/+15 |
| 2019-03-06 | Updated lang/coq to version 8.9.0. | jaapb | 1 | -4/+4 |
| 2018-01-10 | Updated package lang/coq to version 8.7.1. | jaapb | 2 | -28/+0 |
| 2017-11-03 | Updated lang/coq to version 8.7.0. | jaapb | 2 | -5/+21 |
| 2016-12-30 | Updated coq to latest version, 8.6. Changes include: | jaapb | 3 | -41/+8 |
| 2016-07-02 | Updated package to latest version, 8.5pl1. Also fixed a packaging bug | jaapb | 1 | -2/+12 |
| 2016-02-06 | Updated package to latest version, 8.5. The changeset is over 500 lines | jaapb | 3 | -15/+33 |
| 2015-12-29 | pkglint | dholland | 1 | -1/+2 |
| 2015-04-25 | Updated coq to version 8.4pl6. Changes from previous version include (apart | jaapb | 1 | -14/+0 |
| 2014-10-09 | Revbump because of ocaml 4.02, added compilation patch (already in | jaapb | 1 | -0/+14 |
| 2014-05-13 | Update of package to version 8.4pl4. Changes include: | jaapb | 1 | -24/+0 |
| 2013-10-27 | Don't use -fno-defer-pop. | joerg | 1 | -2/+11 |
| 2013-10-26 | Accept GNU Make 4 and later. | asau | 1 | -0/+15 |
| 2013-01-22 | Updated lang/coq to the newest version, 8.4pl1. Changes include: | jaapb | 2 | -45/+0 |
| 2012-10-29 | Taken over maintainership (as discussed with previous maintainer, | jaapb | 4 | -15/+77 |
| 2011-03-28 | Update lang/coq to 8.3pl1 | tonio | 2 | -83/+0 |
| 2010-11-14 | Update lang/coq to 8.3 | tonio | 4 | -232/+92 |
| 2010-11-07 | Make it build with newer gmake | tonio | 1 | -4/+18 |
| 2009-12-12 | Support staged installation. | asau | 1 | -0/+177 |
| 2009-09-05 | Update lang/coq to 8.2pl1 | tonio | 3 | -168/+34 |
| 2008-01-12 | Update lang/coq to 8.1pl3 | tonio | 1 | -13/+4 |
| 2007-12-01 | Update lang/coq to 8.2pl2 | tonio | 2 | -6/+29 |
| 2007-02-25 | Update lang/coq to 8.1 | tonio | 1 | -31/+22 |
| 2006-01-27 | Update lang/coq to 8.0pl3 | tonio | 1 | -22/+7 |
| 2006-01-16 | Make lang/coq compile with ocaml 3.09 | tonio | 1 | -7/+21 |
| 2005-02-05 | - Update of coq from 7.4 to 8.0pl2 | adrianp | 1 | -26/+172 |
| 2003-03-22 | By popular demand, move coq-7.4 from math to lang in order to be consistent | kristerw | 1 | -0/+31 |
