Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-03-01 | lang/coq now needs adwaita-icon-theme. | dholland | 1 | -1/+2 |
2020-01-24 | Updated lang/coq to version 8.10.2. | jaapb | 1 | -3/+4 |
2019-11-03 | lang: align variable assignments | rillig | 1 | -43/+43 |
2019-09-02 | Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE | adam | 1 | -2/+2 |
2019-04-26 | More packages wave bye-bye to python34 and python35 | roy | 1 | -2/+2 |
2019-03-06 | Updated lang/coq to version 8.9.0. | jaapb | 1 | -23/+27 |
2018-08-02 | Updated package lang/coq to version 8.8.1. | jaapb | 1 | -23/+31 |
2018-01-10 | Updated package lang/coq to version 8.7.1. | jaapb | 1 | -1/+6 |
2014-10-10 | Changed package dependencies to reflect lablgtk name change. | jaapb | 1 | -2/+2 |
2012-11-16 | Updated package to add 'doc' option and (if given) build documentation, as | jaapb | 1 | -0/+42 |