| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2023-09-04 | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 1 | -2/+3 |
| 2023-03-30 | coqPackages.HoTT: 8.16 -> 8.17 | Ali Caglayan | 1 | -6/+27 |
| 2023-01-24 | Merge pull request #212009 from Shawn8901/remove_with_lib_2 | Weijia Wang | 1 | -3/+3 |
| 2023-01-22 | treewide: replace http by https when https is a permanent redirection | Ferry Jérémie | 1 | -1/+1 |
| 2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+3 |
| 2022-11-29 | Update HoTT and drop archaic 8.6 specific install | Cyril Cohen | 1 | -31/+8 |
| 2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -1/+1 |
| 2022-05-13 | Revert "coqPackages: etc" | Vincent Laporte | 1 | -1/+1 |
| 2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -1/+1 |
| 2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -23/+10 |
| 2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
| 2017-12-18 | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 1 | -3/+5 |
| 2017-10-11 | coqPackages.HoTT: init at 20170921 | Langston Barrett | 1 | -0/+59 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |