| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-29 | Updated to 1.9.0-1 | William J. Bowman | |
| * Removed camlp5-transitional dependency * Removed manual use of -j; that should be handled by makepkg.conf | |||
| 2017-02-08 | Updated to 1.6.1-4 | William J. Bowman | |
| Added missing make dependency | |||
| 2017-02-08 | Updated to 1.6.1-3 | William J. Bowman | |
| Enable parallel build based on recommendations from project | |||
| 2017-01-07 | Updated to 1.6.1-4 | William J. Bowman | |
| * Updated description | |||
| 2017-01-07 | Update to 1.6.1-1 | William J. Bowman | |
| * Update version * Update Coq dependency | |||
| 2016-01-25 | Update to 1.6-1 | William J. Bowman | |
| 2015-07-07 | Updated to 1.5-2 | William J. Bowman | |
| * Updated contact info | |||
| 2015-07-07 | Initial import | William J. Bowman | |