Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15 | Théo Zimmermann | 2022-01-27 |
* | coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12) | Vincent Laporte | 2021-10-21 |
* | coqPackages.paramcoq: 1.1.2 → 1.1.3 | Vincent Laporte | 2021-10-01 |
* | 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 |