Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |