Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.coqhammer: fix src URL | Vincent Laporte | 2023-02-28 |
* | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 2023-01-21 |
* | coqPackages: etc | Cyril Cohen | 2022-05-25 |
* | Revert "coqPackages: etc" | Vincent Laporte | 2022-05-13 |
* | coqPackages: etc | Cyril Cohen | 2022-05-12 |
* | coqPackages_8_15.coqhammer: enable at 1.3.2 | Vincent Laporte | 2022-02-23 |
* | coqPackages.coqhammer: 1.3.1 → 1.3.2 | Vincent Laporte | 2021-11-29 |
* | coqPackages.coqhammer: 1.3 → 1.3.1 | Vincent Laporte | 2021-04-26 |
* | 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 |