Age | Commit message (Expand) | Author | Files | Lines |
2021-03-15 | coqPackages.mathcomp: etc (#115417) | Cyril Cohen | 1 | -7/+31 |
2021-01-09 | coqPackages: refactor | Cyril Cohen | 2 | -632/+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 | 2 | -12/+33 |
2020-05-27 | coqPackages.mathcomp-extra: refactor | Cyril Cohen | 1 | -14/+15 |
2020-05-09 | Coq: refactoring of mathcomp packages (#86088) | Cyril Cohen | 2 | -315/+569 |
2020-02-24 | coqPackages.mathcomp_1_10: init at 1.10.0 | Vincent Laporte | 1 | -3/+11 |
2019-12-30 | treewide: installFlags is a list | Robin Gloster | 1 | -2/+2 |
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 | 2 | -9/+9 |
2019-07-02 | coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0 | Cyril Cohen | 2 | -25/+59 |
2019-06-03 | coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed | Cyril Cohen | 2 | -21/+73 |
2019-05-21 | several fixes in coq and coqPackages.mathcomp (and extras) | Cyril Cohen | 2 | -12/+12 |
2019-05-15 | coqPackages: refactor mathcomp packages | Cyril Cohen | 2 | -59/+273 |
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 | 2 | -47/+41 |
2018-10-19 | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 1 | -1/+1 |
2018-07-21 | pkgs/*: remove unreferenced function arguments | volth | 1 | -1/+1 |
2018-05-01 | coqPackages.mathcomp: 1.6.4 -> 1.7.0 | Vincent Laporte | 2 | -15/+15 |
2018-03-21 | coq: init at 8.8+beta1 | Vincent Laporte | 1 | -0/+4 |
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 | 2 | -15/+3 |
2017-01-25 | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 | Vincent Laporte | 2 | -33/+16 |
2016-12-22 | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 2 | -18/+32 |
2016-01-04 | ssreflect, mathcomp: fix build | Vincent Laporte | 1 | -0/+1 |
2015-12-20 | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2 | -12/+20 |
2015-06-19 | ssreflect, mathcomp: better package names | Vincent Laporte | 1 | -1/+1 |
2015-06-19 | coq-mathcomp: refactor | Vincent Laporte | 3 | -53/+49 |
2015-06-19 | coq-mathcomp: also build and install the documentation | Vincent Laporte | 1 | -1/+10 |
2015-04-26 | coq_8_5: New expression | John Wiegley | 1 | -0/+26 |
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 |