| 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 | 1 | -17/+0 |
| 2021-02-09 | Update lang/coq to 8.12.2. | dholland | 1 | -3/+3 |
| 2020-01-24 | Updated lang/coq to version 8.10.2. | jaapb | 1 | -1/+2 |
| 2019-03-06 | Updated lang/coq to version 8.9.0. | jaapb | 1 | -4/+4 |
| 2017-11-03 | Updated lang/coq to version 8.7.0. | jaapb | 1 | -5/+7 |
| 2016-12-30 | Updated coq to latest version, 8.6. Changes include: | jaapb | 1 | -12/+2 |
| 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 | 1 | -0/+14 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |