Age | Commit message (Expand) | Author | Files | Lines |
2023-09-04 | Add a few packages for Coq 8.18 and MathComp 2.0 | Pierre Roux | 1 | -2/+2 |
2023-07-12 | treewide: use lib.optional instead of 'then []' | Felix Buehler | 1 | -2/+1 |
2023-05-17 | Mathcomp 1.16.0 -> 1.17.0 | Pierre Roux | 1 | -2/+4 |
2023-05-15 | Add coqPackages.mathcomp 2.0.0 | Pierre Roux | 1 | -2/+11 |
2023-03-09 | coqPackages: various 8.16 -> 8.17 | Pierre Roux | 1 | -0/+2 |
2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -2/+2 |
2022-08-31 | mathcomp: 1.14.0 -> 1.15.0 | Enrico Tassi | 1 | -0/+2 |
2022-06-13 | coqPackages.mathcomp: disable for Coq ≥ 8.16 | Vincent Laporte | 1 | -1/+1 |
2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -4/+5 |
2022-05-13 | Revert "coqPackages: etc" | Vincent Laporte | 1 | -5/+4 |
2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -4/+5 |
2022-02-25 | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ... | Ulrik Strid | 1 | -3/+2 |
2022-02-02 | coqPackages.mathcomp: 1.13.0 -> 1.14.0 | Cyril Cohen | 1 | -1/+3 |
2021-10-29 | coqPackages.mathcomp: 1.12.0 -> 1.13.0 | Cyril Cohen | 1 | -1/+3 |
2021-08-17 | coqPackages.mathcomp: change default version for Coq 8.10+ | Théo Zimmermann | 1 | -1/+1 |
2021-03-15 | coqPackages.mathcomp: etc (#115417) | Cyril Cohen | 1 | -7/+31 |
2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -241/+69 |
2020-12-15 | coq_8_13: init at 8.13+β1 | Vincent Laporte | 1 | -1/+3 |
2020-06-19 | coqPackages.mathcomp: enable 1.11.0 for Coq 8.12 | Vincent Laporte | 1 | -2/+2 |
2020-06-12 | coqPackages.mathcomp: 1.11.0 | Cyril Cohen | 1 | -3/+5 |
2020-05-09 | Coq: refactoring of mathcomp packages (#86088) | Cyril Cohen | 1 | -130/+215 |
2020-02-24 | coqPackages.mathcomp_1_10: init at 1.10.0 | Vincent Laporte | 1 | -3/+11 |
2019-12-30 | treewide: fix *Flags | Robin Gloster | 1 | -1/+1 |
2019-12-08 | Treewide: update some problematic homepages | c0bw3b | 1 | -1/+1 |
2019-08-28 | treewide: remove redundant rec | volth | 1 | -2/+2 |
2019-08-26 | treewide: remove redundant quotes | volth | 1 | -3/+3 |
2019-07-02 | coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0 | Cyril Cohen | 1 | -2/+13 |
2019-06-03 | coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed | Cyril Cohen | 1 | -8/+18 |
2019-05-21 | several fixes in coq and coqPackages.mathcomp (and extras) | Cyril Cohen | 1 | -2/+3 |
2019-05-15 | coqPackages: refactor mathcomp packages | Cyril Cohen | 1 | -59/+135 |
2019-05-15 | coq: init at 8.10+β1 | Vincent Laporte | 1 | -1/+1 |
2019-04-23 | coqPackages.mathcomp: 1.7.0 -> 1.8.0 | Vincent Laporte | 1 | -1/+6 |
2018-11-06 | coqPackages.ssreflect: inherit mathcomp's source/meta attributes | Jörg Thalheim | 1 | -3/+7 |
2018-11-06 | coqPackages.mathcomp: use fetchFromGitHub | Jörg Thalheim | 1 | -5/+7 |
2018-11-05 | coqPackages.ssreflect: refactor choice of source version | Théo Zimmermann | 1 | -18/+12 |
2018-11-04 | coqPackages.mathcomp: refactor | Vincent Laporte | 1 | -5/+41 |
2018-05-01 | coqPackages.mathcomp: 1.6.4 -> 1.7.0 | Vincent Laporte | 1 | -13/+13 |
2017-12-02 | coqPackages_8_4.mathcomp: remove | Vincent Laporte | 1 | -6/+0 |
2017-11-11 | coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7 | John Wiegley | 1 | -4/+26 |
2017-11-07 | Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4" | Tim Steinbach | 1 | -3/+3 |
2017-11-07 | coqPackages.mathcomp: 1.6.1 -> 1.6.4 | Maxime Dénès | 1 | -3/+3 |
2017-02-11 | coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 | Vincent Laporte | 1 | -10/+1 |
2017-01-25 | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 | Vincent Laporte | 1 | -31/+14 |
2016-12-22 | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 1 | -15/+30 |
2015-12-20 | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 1 | -4/+4 |
2015-06-19 | coq-mathcomp: refactor | Vincent Laporte | 1 | -27/+16 |
2015-06-19 | coq-mathcomp: also build and install the documentation | Vincent Laporte | 1 | -1/+10 |
2014-10-13 | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 1 | -1/+3 |
2014-09-28 | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 1 | -0/+24 |