summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/mathcomp
AgeCommit message (Expand)Author
2026-05-06rocqPackages.mathcomp-algebra: master depends on micromega-pluginPierre Roux
2026-05-05rocqPackages.mathcomp: rename fingroup -> finite-group and character -> group...Pierre Roux
2026-01-12rocqPackages.mathcomp: init at 2.5.0Pierre Roux
2025-11-12coqPackages.mathcomp: 2.4.0 -> 2.5.0Pierre Roux
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-05-10coqPackages.mathcomp: 2.3.0 -> 2.4.0Pierre Roux
2025-05-05coqPackages.mathcomp-boot: init at master (future 2.5.0)Pierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
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-23coqPackages.mathcomp: adapt to https://github.com/math-comp/math-comp/pull/1329Pierre Roux
2025-01-08coqPackages.mathcomp: 2.2.0 -> 2.3.0Pierre Roux
2024-12-13Add coqPackages.stdlibPierre Roux
2024-08-20Merge pull request #331530 from proux01/mc2-defaulth7x4
2024-08-03pkgs/development: remove unused argumentsSigmanificient
2024-08-01coqPackages.mathcomp: 1 -> 2Pierre Roux
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-06-25coqPackages.mathcomp: avoid top-level `with ...;`Philip Taron
2024-01-17coqPackages.mathcomp: 2.1.0 -> 2.2.0Pierre Roux
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux
2023-12-19coq_8_19: init at 8.19+rc1Pierre Roux
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux
2023-10-25Add mathcomp 2.1.0Pierre Roux
2023-09-04Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux
2023-07-12treewide: use lib.optional instead of 'then []'Felix Buehler
2023-05-17Mathcomp 1.16.0 -> 1.17.0Pierre Roux
2023-05-15Add coqPackages.mathcomp 2.0.0Pierre 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-06-13coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2022-02-02coqPackages.mathcomp: 1.13.0 -> 1.14.0Cyril Cohen
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen
2021-08-17coqPackages.mathcomp: change default version for Coq 8.10+Théo Zimmermann
2021-03-15coqPackages.mathcomp: etc (#115417)Cyril Cohen
2021-01-09coqPackages: refactorCyril Cohen
2020-12-15coq_8_13: init at 8.13+β1Vincent Laporte
2020-06-19coqPackages.mathcomp: enable 1.11.0 for Coq 8.12Vincent Laporte
2020-06-12coqPackages.mathcomp: 1.11.0Cyril Cohen
2020-05-27coqPackages.mathcomp-extra: refactorCyril Cohen
2020-05-09Coq: refactoring of mathcomp packages (#86088)Cyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:49:48 +0000