| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-06-07 | Updated to 1.12.0 | Aditya Naik | |
| Upgraded required Coq version to >=8.10. | |||
| 2019-06-29 | Updated to 1.9.0-1 | William J. Bowman | |
| * Removed manual setting of -j; that should be done by makepkg.conf * Trying to use globbing for annoying folder tag | |||
| 2018-05-03 | Updated to 1.7.0-1 | William J. Bowman | |
| 2018-04-13 | Updated to 1.6.4-3 | William J. Bowman | |
| * Incompatible with Coq 8.8, so far | |||
| 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 | |
| Moved ocaml-findlib to makedepends. | |||
| 2017-02-08 | Updated to 1.6.1-3 | William J. Bowman | |
| Added missing dependency | |||
| 2017-02-08 | Updated to 1.6.1-2 | William J. Bowman | |
| Enable parallel build based on recommendations from project | |||
| 2017-01-07 | Updated to 1.6.1-1 | William J. Bowman | |
| 2015-07-07 | Initial import | William J. Bowman | |