Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages: refactor | Cyril Cohen | 2021-01-09 |
* | coqPackages.coqhammer: 1.2 → 1.3 | Vincent Laporte | 2020-08-20 |
* | coqPackages.coqhammer: 1.1.1 → 1.2 | Vincent Laporte | 2020-04-26 |
* | coqPackages.coqhammer: 1.1 → 1.1.1 | Vincent Laporte | 2020-03-25 |
* | treewide: remove redundant quotes | volth | 2019-08-26 |
* | coqPackages.coqhammer: init at 1.1 | Vincent Laporte | 2019-03-29 |