summary refs log tree commit diff
path: root/pkgs/development/coq-modules/CoLoR
AgeCommit message (Expand)AuthorFilesLines
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+1
2023-07-03coqPackages.CoLoR: 1.8.3 → 1.8.4Vincent Laporte1-1/+2
2023-05-23coqPackages.CoLoR: 1.8.2 → 1.8.3Vincent Laporte1-0/+2
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-07-08Do not rely on coq-version when coq.version works just fine.Théo Zimmermann1-1/+1
2022-06-13coqPackages.CoLoR: enable for Coq 8.16Vincent Laporte1-1/+1
2022-05-25coqPackages: etcCyril Cohen1-1/+1
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-1/+1
2022-05-12coqPackages: etcCyril Cohen1-1/+1
2022-04-12coqPackages.CoLoR: 1.8.1 → 1.8.2Vincent Laporte1-1/+2
2022-01-07coqPackages.CoLoR: update homepageBen Siraphob1-1/+1
2021-05-07coqPackages.CoLoR: 1.7.0 → 1.8.1Vincent Laporte1-0/+2
2021-01-09coqPackages: refactorCyril Cohen1-48/+18
2020-06-01coqPackages.CoLoR: enable for Coq 8.11Vincent Laporte1-0/+1
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-01-26coqPackages.CoLoR support for Coq 8.10Jarrod Pas1-0/+6
2020-01-25Keeps older CoLoR available for older CoqJarrod Pas1-5/+26
2020-01-22coqPackages.CoLoR 1.4.0 -> 1.6.0Jarrod Pas1-8/+10
2018-03-21coq: init at 8.8+beta1Vincent Laporte1-1/+1
2017-12-18coqPackages: move to a separate file and filter the package setVincent Laporte1-6/+6
2017-11-12coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7John Wiegley1-6/+6
2017-09-04coqPackages: remove duplication in mkCoqPackagesVincent Laporte1-0/+4
2017-07-18coqPackages_8_6.CoLoR: Fix installPhaseJohn Wiegley1-1/+4
2017-07-18coqPackages_8_6.CoLoR: new expression 1.3.0John Wiegley1-0/+21
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 06:00:24 +0000