summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/math-classes
AgeCommit message (Expand)Author
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-01-18Add missing mlPluginPierre 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-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt
2024-04-26coqPackages.math-classes: 8.18.0 → 8.19.0Vincent Laporte
2023-10-25coqPackages.math-classes: 8.17.0 → 8.18.0Vincent Laporte
2023-05-31coqPackages.math-classes: 8.15.0 → 8.17.0Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-06-13coqPackages.math-classes: enable for Coq 8.16Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-01-25coqPackages.math-classes: 8.13.0 -> 8.15.0Théo Zimmermann
2021-07-17coqPackages.math-classes: 8.12.0 -> 8.13.0larsr
2021-01-21coqPackages.math-classes: 8.11.0 -> 8.12.0Théo Zimmermann
2021-01-09coqPackages: refactorCyril Cohen
2020-07-19coqPackages.math-classes: 8.9.1 → 8.11.0Vincent Laporte
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-12-30treewide: installFlags is a listRobin Gloster
2019-07-22coqPackages.math-classes: 8.8.1 -> 8.9.1Théo Zimmermann
2019-05-15coq: init at 8.10+β1Vincent Laporte
2018-12-03coqPackages.math-classes: 1.0.7 -> 8.8.1Vincent Laporte
2017-12-18coqPackages: move to a separate file and filter the package setVincent Laporte
2017-11-05coqPackages.math-classes: 1.0.6 -> 1.0.7Théo Zimmermann
2017-07-18coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6John Wiegley
2017-01-27coqPackages.math-classes: init at 2016-06-08Langston Barrett
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:49:40 +0000