summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/mathcomp-bigenough
AgeCommit message (Expand)Author
2026-02-19rocqPackages.mathcomp-bigenough: init at 1.0.4Pierre Roux
2025-11-12coqPackages.mathcomp: 2.4.0 -> 2.5.0Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-05-05Refine dependencies from mathcomp-ssreflect to mathcomp-bootPierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2023-01-06coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux
2022-08-31mathcomp: 1.14.0 -> 1.15.0Enrico Tassi
2021-12-08coqPackages.mathcomp-bigenough: 1.0.0 → 1.0.1Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2019-05-15coqPackages: refactor mathcomp packagesCyril Cohen
2019-02-18coqPackages.mathcomp-analysis: enable for Coq 8.9Vincent Laporte
2019-02-09coqPackages.mathcomp-bigenough: init at 1.0.0Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 23:04:35 +0000