summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/graph-theory
AgeCommit message (Expand)Author
2026-05-06rocqPackages.mathcomp-algebra: master depends on micromega-pluginPierre Roux
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.graph-theory: 0.9.4 -> 0.9.6Pierre Roux
2025-05-10coqPackages.mathcomp: 2.3.0 -> 2.4.0Pierre Roux
2025-02-14coqPackages.mathcomp: remove Stdlib dependencyPierre Roux
2025-01-08coqPackages.mathcomp: 2.2.0 -> 2.3.0Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-07-01coq-elpi: 2.0.1 -> 2.2.0 (#323590)Pierre Roux
2024-05-24coqPackages.graph-theory: 0.9.3 → 0.9.4Vincent Laporte
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-09-08coqPackages.graph-theory: enable for Coq 8.16Vincent Laporte
2022-05-07coqPackages.graph-theory: enable for Coq 8.15Vincent Laporte
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2021-12-09coqPackages.graph-theory: disable for Coq 8.15Vincent Laporte
2021-11-13coqPackages.graph-theory: enable for Coq 8.14Vincent Laporte
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-07-29coqPackages.graph-theory: init at 0.9Ben Siraphob
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 21:02:40 +0000