Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages: etc | Cyril Cohen | 2022-05-25 |
* | Revert "coqPackages: etc" | Vincent Laporte | 2022-05-13 |
* | coqPackages: etc | Cyril Cohen | 2022-05-12 |
* | coqPackages.gappalib: 1.5.0 → 1.5.1 | Vincent Laporte | 2022-04-11 |
* | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ... | Ulrik Strid | 2022-02-25 |
* | coqPackages.gappalib: disable for Coq 8.15 | Vincent Laporte | 2021-12-09 |
* | coqPackages.gappalib: 1.4.5 → 1.5.0 | Vincent Laporte | 2021-10-03 |
* | coqPackages: refactor | Cyril Cohen | 2021-01-09 |
* | coqPackages.gappalib: 1.4.3 → 1.4.4 | Vincent Laporte | 2020-08-30 |
* | coqPackages.gappalib: 1.4.1 → 1.4.3 | Vincent Laporte | 2020-04-29 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | coqPackages.gappalib: disable for Coq 8.10 | Vincent Laporte | 2019-06-27 |
* | coqPackages.gappalib: init at 1.4.1 | Vincent Laporte | 2019-06-19 |