Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-06-23 | coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16 | Vincent Laporte | 1 | -1/+2 |
2022-01-27 | coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15 | Théo Zimmermann | 1 | -1/+2 |
2021-10-21 | coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12) | Vincent Laporte | 1 | -1/+4 |
2021-10-01 | coqPackages.paramcoq: 1.1.2 → 1.1.3 | Vincent Laporte | 1 | -3/+7 |
2021-04-28 | coqPackages.paramcoq: enable for Coq 8.13 | Vincent Laporte | 1 | -1/+2 |
2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -53/+17 |
2020-09-09 | coqPackages.paramcoq: init at 1.1.2 for Coq 8.12 | Vincent Laporte | 1 | -0/+3 |
2020-03-27 | coqPackages.paramcoq: 1.1.1 → 1.1.2 | Vincent Laporte | 1 | -9/+16 |
2019-12-30 | treewide: installFlags is a list | Robin Gloster | 1 | -1/+1 |
2019-08-26 | treewide: remove redundant quotes | volth | 1 | -1/+1 |
2019-02-17 | coqPackages.paramcoq: init at 1.1.1 | Vincent Laporte | 1 | -0/+48 |