Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.paramcoq: enable for Coq 8.13 | Vincent Laporte | 2021-04-28 |
* | coqPackages: refactor | Cyril Cohen | 2021-01-09 |
* | coqPackages.paramcoq: init at 1.1.2 for Coq 8.12 | Vincent Laporte | 2020-09-09 |
* | coqPackages.paramcoq: 1.1.1 → 1.1.2 | Vincent Laporte | 2020-03-27 |
* | treewide: installFlags is a list | Robin Gloster | 2019-12-30 |
* | treewide: remove redundant quotes | volth | 2019-08-26 |
* | coqPackages.paramcoq: init at 1.1.1 | Vincent Laporte | 2019-02-17 |