summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/fourcolor
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-11-12coqPackages.mathcomp: 2.4.0 -> 2.5.0Pierre Roux
2025-06-30coqPackages.*: fix formatting fixPierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-05-10coqPackages.fourcolor: 1.4.0 -> 1.4.1Pierre Roux
2025-05-05Refine dependencies from mathcomp-ssreflect to mathcomp-bootPierre Roux
2025-02-24coqPackages.mathcomp*: update stdlib dependenciesPierre Roux
2025-02-14coqPackages.mathcomp: remove Stdlib dependencyPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-11-26coqPackages.fourcolor: 1.3.1 → 1.4.0Vincent Laporte
2024-07-26treewide: remove trailing space in descriptionSigmanificient
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux
2023-10-31fourcolor: 1.3.0 -> 1.3.1Pierre Roux
2023-09-04Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-07-17coqPackages.fourcolor: 1.2.4 → 1.2.5Vincent Laporte
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2022-02-02Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-03-26coqPackages.fourcolor: init at 1.2.3Ben Siraphob
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 23:47:33 +0000