summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/CoLoR
AgeCommit message (Expand)Author
2026-02-11rocqPackages.stdlib: 9.1.0 -> 9.2.0Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2025-01-18Add missing mlPluginPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt
2024-04-19coqPackages.CoLoR: 1.8.4 → 1.8.5Vincent Laporte
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-07-03coqPackages.CoLoR: 1.8.3 → 1.8.4Vincent Laporte
2023-05-23coqPackages.CoLoR: 1.8.2 → 1.8.3Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-07-08Do not rely on coq-version when coq.version works just fine.Théo Zimmermann
2022-06-13coqPackages.CoLoR: enable for Coq 8.16Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-04-12coqPackages.CoLoR: 1.8.1 → 1.8.2Vincent Laporte
2022-01-07coqPackages.CoLoR: update homepageBen Siraphob
2021-05-07coqPackages.CoLoR: 1.7.0 → 1.8.1Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-06-01coqPackages.CoLoR: enable for Coq 8.11Vincent Laporte
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-01-26coqPackages.CoLoR support for Coq 8.10Jarrod Pas
2020-01-25Keeps older CoLoR available for older CoqJarrod Pas
2020-01-22coqPackages.CoLoR 1.4.0 -> 1.6.0Jarrod Pas
2018-03-21coq: init at 8.8+beta1Vincent Laporte
2017-12-18coqPackages: move to a separate file and filter the package setVincent Laporte
2017-11-12coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7John Wiegley
2017-09-04coqPackages: remove duplication in mkCoqPackagesVincent Laporte
2017-07-18coqPackages_8_6.CoLoR: Fix installPhaseJohn Wiegley
2017-07-18coqPackages_8_6.CoLoR: new expression 1.3.0John Wiegley
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 03:56:08 +0000