Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-02-28 | coqPackages.coqhammer: fix src URL | Vincent Laporte | 1 | -1/+1 |
2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+3 |
2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -2/+4 |
2022-05-13 | Revert "coqPackages: etc" | Vincent Laporte | 1 | -4/+2 |
2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -2/+4 |
2022-02-23 | coqPackages_8_15.coqhammer: enable at 1.3.2 | Vincent Laporte | 1 | -0/+3 |
2021-11-29 | coqPackages.coqhammer: 1.3.1 → 1.3.2 | Vincent Laporte | 1 | -4/+10 |
2021-04-26 | coqPackages.coqhammer: 1.3 → 1.3.1 | Vincent Laporte | 1 | -3/+12 |
2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -53/+28 |
2020-08-20 | coqPackages.coqhammer: 1.2 → 1.3 | Vincent Laporte | 1 | -4/+8 |
2020-04-26 | coqPackages.coqhammer: 1.1.1 → 1.2 | Vincent Laporte | 1 | -2/+6 |
2020-03-25 | coqPackages.coqhammer: 1.1 → 1.1.1 | Vincent Laporte | 1 | -4/+12 |
2019-08-26 | treewide: remove redundant quotes | volth | 1 | -1/+1 |
2019-03-29 | coqPackages.coqhammer: init at 1.1 | Vincent Laporte | 1 | -0/+55 |