summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/mathcomp-analysis
AgeCommit message (Expand)Author
2026-03-17rocqPackages.mathcomp-analysis: init at 1.16.0Pierre Roux
2025-11-12coqPackages.mathcomp: 2.4.0 -> 2.5.0Pierre Roux
2025-10-05treewide: remove redundant parenthesesWolfgang Walther
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-07-08coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.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.mathcomp-analysis: 1.9.0 -> 1.11.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-24treewide: fix typos in comments (#384334)Aleksana
2025-02-24treewide: fix typos in commentsPeder Bergebakken Sundt
2025-02-24mathcomp-analysis: 1.8.0 -> 1.9.0Reynald Affeldt
2025-01-08coqPackages.mathcomp-analysis: 1.7.0 -> 1.8.0Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-12-04coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371)Pierre Roux
2024-11-06coqPackages.mathcomp-analysis: rename altreals to experimental-realsPierre Roux
2024-10-29Fix coqPackages.mathcomp-altreals dependenciesPierre Roux
2024-10-29coqPackages.mathcomp-reals: init at 1.7.0Pierre Roux
2024-10-28coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0Vincent Laporte
2024-10-08coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0Vincent Laporte
2024-07-01coq-elpi: 2.0.1 -> 2.2.0 (#323590)Pierre Roux
2024-06-25coqPackages.mathcomp-analysis: avoid top-level `with ...;`Philip Taron
2024-06-10coqPackages.mathcomp-analysis: 1.0.0 → 1.1.0Vincent Laporte
2024-02-09coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)Sebastian
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux
2023-07-12treewide: use lib.optional instead of 'then []'Felix Buehler
2023-06-20hb dep is added later, after we check the version numberCyril Cohen
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux
2023-03-03coqPackages.mathcomp-analysis: 0.6.0 → 0.6.1Vincent Laporte
2023-03-03coqPackages.mathcomp-analysis: 0.5.3 → 0.6.0Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-10-11Adding mathcomp-analysis singlePierre Roux
2022-09-26Split coqPackages.mathcomp-analysisPierre Roux
2022-08-31mathcomp: 1.14.0 -> 1.15.0Enrico Tassi
2022-08-31coqPackages.mathcomp-analysis: 0.3.13 → 0.5.3Vincent Laporte
2022-02-02Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen
2021-09-07coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10Ben Siraphob
2021-07-16coqPackages.mathcomp-analysis: 0.3.6 -> 0.3.9Ben Siraphob
2021-03-12coqPackages.mathcomp-analysis: 0.3.1 -> 0.3.6Cyril Cohen
2021-01-14coqPackages.mathcomp-analysis: add maintainersCyril Cohen
2021-01-09coqPackages: refactorCyril Cohen
2019-05-15coqPackages: refactor mathcomp packagesCyril Cohen
2019-04-23coqPackages.mathcomp: 1.7.0 -> 1.8.0Vincent Laporte
2019-02-18coqPackages.mathcomp-analysis: enable for Coq 8.9Vincent Laporte
2019-02-09coqPackages.mathcomp-analysis: init at 0.1.0Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:49:25 +0000