summary refs log tree commit diff
path: root/pkgs/development/coq-modules/mathcomp/default.nix
Commit message (Expand)AuthorAge
* coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux2023-11-15
* Add mathcomp 2.1.0Pierre Roux2023-10-25
* Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux2023-09-04
* treewide: use lib.optional instead of 'then []'Felix Buehler2023-07-12
* Mathcomp 1.16.0 -> 1.17.0Pierre Roux2023-05-17
* Add coqPackages.mathcomp 2.0.0Pierre Roux2023-05-15
* coqPackages: various 8.16 -> 8.17Pierre Roux2023-03-09
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* mathcomp: 1.14.0 -> 1.15.0Enrico Tassi2022-08-31
* coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte2022-06-13
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
* coqPackages.mathcomp: 1.13.0 -> 1.14.0Cyril Cohen2022-02-02
* coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen2021-10-29
* coqPackages.mathcomp: change default version for Coq 8.10+Théo Zimmermann2021-08-17
* coqPackages.mathcomp: etc (#115417)Cyril Cohen2021-03-15
* coqPackages: refactorCyril Cohen2021-01-09
* coq_8_13: init at 8.13+β1Vincent Laporte2020-12-15
* coqPackages.mathcomp: enable 1.11.0 for Coq 8.12Vincent Laporte2020-06-19
* coqPackages.mathcomp: 1.11.0Cyril Cohen2020-06-12
* Coq: refactoring of mathcomp packages (#86088)Cyril Cohen2020-05-09
* coqPackages.mathcomp_1_10: init at 1.10.0Vincent Laporte2020-02-24
* treewide: fix *FlagsRobin Gloster2019-12-30
* Treewide: update some problematic homepagesc0bw3b2019-12-08
* treewide: remove redundant recvolth2019-08-28
* treewide: remove redundant quotesvolth2019-08-26
* coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0Cyril Cohen2019-07-02
* coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closedCyril Cohen2019-06-03
* several fixes in coq and coqPackages.mathcomp (and extras)Cyril Cohen2019-05-21
* coqPackages: refactor mathcomp packagesCyril Cohen2019-05-15
* coq: init at 8.10+β1Vincent Laporte2019-05-15
* coqPackages.mathcomp: 1.7.0 -> 1.8.0Vincent Laporte2019-04-23
* coqPackages.ssreflect: inherit mathcomp's source/meta attributesJörg Thalheim2018-11-06
* coqPackages.mathcomp: use fetchFromGitHubJörg Thalheim2018-11-06
* coqPackages.ssreflect: refactor choice of source versionThéo Zimmermann2018-11-05
* coqPackages.mathcomp: refactorVincent Laporte2018-11-04
* coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte2018-05-01
* coqPackages_8_4.mathcomp: removeVincent Laporte2017-12-02
* coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7John Wiegley2017-11-11
* Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"Tim Steinbach2017-11-07
* coqPackages.mathcomp: 1.6.1 -> 1.6.4Maxime Dénès2017-11-07
* coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1Vincent Laporte2017-02-11
* coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6Vincent Laporte2017-01-25
* coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflectJohn Wiegley2016-12-22
* coqPackages.mathcomp,ssreflect: 1.5 -> 1.6John Wiegley2015-12-20
* coq-mathcomp: refactorVincent Laporte2015-06-19
* coq-mathcomp: also build and install the documentationVincent Laporte2015-06-19
* coqPackages.ssreflect, more: build ssrcoq binary, add maintainerJohn Wiegley2014-10-13
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-28 07:23:34 +0000