summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/HoTT
AgeCommit message (Expand)Author
2025-05-15coqPackages.HoTT: 8.20 -> 9.0Lucie
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-09-30coqPackages.HoTT: 8.19 -> 8.20Ali Caglayan
2024-06-09treewide: Remove the definite article from meta.descriptionAlexis Hildebrandt
2024-03-28coqPackages_8_19.HoTT: init at 8.19Vincent Laporte
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-03-30coqPackages.HoTT: 8.16 -> 8.17Ali Caglayan
2023-01-24Merge pull request #212009 from Shawn8901/remove_with_lib_2Weijia Wang
2023-01-22treewide: replace http by https when https is a permanent redirectionFerry Jérémie
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-11-29Update HoTT and drop archaic 8.6 specific installCyril Cohen
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2021-01-09coqPackages: refactorCyril Cohen
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2017-12-18coqPackages: move to a separate file and filter the package setVincent Laporte
2017-10-11coqPackages.HoTT: init at 20170921Langston Barrett
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 07:57:16 +0000