summaryrefslogtreecommitdiffstats
path: root/pkgs/development/coq-modules/mathcomp
AgeCommit message (Expand)Author
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
2020-02-24coqPackages.mathcomp_1_10: init at 1.10.0Vincent Laporte
2019-12-30treewide: installFlags is a listRobin Gloster
2019-12-30treewide: fix *FlagsRobin Gloster
2019-12-08Treewide: update some problematic homepagesc0bw3b
2019-08-28treewide: remove redundant recvolth
2019-08-26treewide: remove redundant quotesvolth
2019-07-02coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0Cyril Cohen
2019-06-03coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closedCyril Cohen
2019-05-21several fixes in coq and coqPackages.mathcomp (and extras)Cyril Cohen
2019-05-15coqPackages: refactor mathcomp packagesCyril Cohen
2019-05-15coq: init at 8.10+β1Vincent Laporte
2019-04-23coqPackages.mathcomp: 1.7.0 -> 1.8.0Vincent Laporte
2018-11-06coqPackages.ssreflect: inherit mathcomp's source/meta attributesJörg Thalheim
2018-11-06coqPackages.mathcomp: use fetchFromGitHubJörg Thalheim
2018-11-05coqPackages.ssreflect: refactor choice of source versionThéo Zimmermann
2018-11-04coqPackages.mathcomp: refactorVincent Laporte
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann
2018-07-21pkgs/*: remove unreferenced function argumentsvolth
2018-05-01coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte
2018-03-21coq: init at 8.8+beta1Vincent Laporte
2017-12-02coqPackages_8_4.mathcomp: removeVincent Laporte
2017-11-11coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7John Wiegley
2017-11-07Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"Tim Steinbach
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-21 09:49:11 +0000