| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-05-03 | Updated to 1.7.0-1 | William J. Bowman |
| 2018-04-13 | Updated to 1.6.4-3 | William J. Bowman |
| 2018-04-12 | Updated to 1.6.4-2; workaround for issue with coq_makefile | William J. Bowman |
| 2018-01-07 | Updated to 1.6.4-1 | William J. Bowman |
| 2017-02-14 | Updated to 1.6.1-4 | William J. Bowman |
| 2017-02-08 | Updated to 1.6.1-3 | William J. Bowman |
| 2017-02-08 | Updated to 1.6.1-2 | William J. Bowman |
| 2017-01-07 | Updated to 1.6.1-1 | William J. Bowman |
| 2015-07-07 | Initial import | William J. Bowman |