summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/gaia
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-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-06-30coqPackages.*: fix formatting fixPierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-05-10coqPackages.gaia: 2.2 -> 2.3Pierre Roux
2025-05-05Refine dependencies from mathcomp-ssreflect to mathcomp-bootPierre Roux
2025-02-14coqPackages.mathcomp: remove Stdlib dependencyPierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2025-01-08coqPackages.mathcomp: 2.2.0 -> 2.3.0Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-08-01coqPackages.gaia: 1.17 -> 2.2Pierre Roux
2023-11-30coqPackages.gaia: 1.15 → 1.17Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-08-31mathcomp: 1.14.0 -> 1.15.0Enrico Tassi
2022-07-16coqPackages.gaia: 1.13 → 1.14Vincent Laporte
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2022-01-27coqPackages.gaia: mark as compatible with Coq 8.15Théo Zimmermann
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen
2021-10-16coqPackages.gaia: mark as compatible with Coq 8.14Théo Zimmermann
2021-08-17coqPackages.gaia: init at 1.11 and 1.12Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-24 13:51:19 +0000