summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/mathcomp-real-closed
AgeCommit message (Expand)Author
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-05-10coqPackages.mathcomp-real-closed: 2.0.2 -> 2.0.3Pierre Roux
2025-02-24coqPackages.mathcomp*: update stdlib dependenciesPierre 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-07-01coq-elpi: 2.0.1 -> 2.2.0 (#323590)Pierre Roux
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-01-26coqPackages_8_19.mathcomp-real-closedPierre Roux
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux
2023-10-31Add various mathcomp 2.1 versionsPierre Roux
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-08-31mathcomp: 1.14.0 -> 1.15.0Enrico Tassi
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen
2021-01-09coqPackages: refactorCyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 22:06:48 +0000