Sandro
|
65aca46e9e
|
Merge pull request #109330 from CohenCyril/mathcomp-abel
coqPackages.mathcomp-abel: init at 1.0.0
|
2021-01-15 10:53:53 +01:00 |
|
Cyril Cohen
|
f06be1bcf9
|
coqPackages.mathcomp-abel: init at 1.0.0
|
2021-01-14 19:51:30 +01:00 |
|
Cyril Cohen
|
7c10cce9f3
|
coqPackages.mathcomp-analysis: add maintainers
|
2021-01-14 14:27:55 +01:00 |
|
Cyril Cohen
|
9ffd16b385
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
|
Vincent Laporte
|
de8205f8bb
|
coq_8_13: init at 8.13+β1
|
2020-12-15 21:13:40 +01:00 |
|
Vincent Laporte
|
4569be3b21
|
coqPackages.coq-ext-lib: 0.11.2 → 0.11.3
|
2020-12-01 22:02:08 +01:00 |
|
Vincent Laporte
|
9366259691
|
coqPackages.coq-ext-lib: refactor
|
2020-12-01 22:02:08 +01:00 |
|
Vincent Laporte
|
423dd60f07
|
coqPackages.paco: 4.0.0 → 4.0.2
|
2020-10-12 09:41:45 +02:00 |
|
Vincent Laporte
|
ddb2c7779e
|
coqPackages.coq-ext-lib: clean dependencies
|
2020-10-09 16:32:48 +02:00 |
|
Vincent Laporte
|
13126ce0a0
|
coqPackages.dpdgraph: do not depend on camlp5 for recent versions of Coq
|
2020-10-09 16:32:48 +02:00 |
|
Vincent Laporte
|
488d73f045
|
coqPackages.bignums: do not depend on camlp5 for recent versions of Coq
|
2020-10-09 16:32:48 +02:00 |
|
Vincent Laporte
|
d5f1dce6c8
|
coqPackages.VST: init at 2.6
|
2020-10-05 16:39:26 +02:00 |
|
Vincent Laporte
|
a1f8e0b4a1
|
coqPackages.metalib: 20170713 → 20200527
|
2020-09-22 21:53:29 +02:00 |
|
Vincent Laporte
|
5f3be6b669
|
coqPackages.Verdi: enable for Coq 8.12
|
2020-09-10 22:10:02 +02:00 |
|
Vincent Laporte
|
7f797b9521
|
coqPackages.paco: enable for Coq 8.12
|
2020-09-10 22:10:02 +02:00 |
|
Vincent Laporte
|
6e08d23707
|
coqPackages.paramcoq: init at 1.1.2 for Coq 8.12
|
2020-09-09 22:26:06 +02:00 |
|
Vincent Laporte
|
607b0ae7ae
|
coqPackages.coqprime: init at 8.12 for Coq 8.12
|
2020-09-09 06:32:25 +02:00 |
|
Vincent Laporte
|
60d0746a84
|
coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12
|
2020-09-01 08:53:19 +02:00 |
|
Vincent Laporte
|
b3beb74d7c
|
coqPackages.gappalib: 1.4.3 → 1.4.4
|
2020-08-30 07:26:32 +02:00 |
|
Cyril Cohen
|
0a29f8c620
|
ocamlPackages.elpi: 1.11.2 -> 1.11.4
and fixing dependencies
|
2020-08-28 08:35:32 +02:00 |
|
Vincent Laporte
|
1875d9bfd5
|
coqPackages.coqprime: enable for Coq 8.11
|
2020-08-23 08:19:21 +02:00 |
|
Vincent Laporte
|
f839441f09
|
coqPackages.coqhammer: 1.2 → 1.3
|
2020-08-20 08:37:24 +02:00 |
|
Vincent Laporte
|
6f83faf70b
|
coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0
|
2020-08-19 08:08:37 +02:00 |
|
Vincent Laporte
|
6a1d98ecc4
|
coqPackages.simple-io: enable for Coq 8.12
|
2020-08-19 08:08:37 +02:00 |
|
Vincent Laporte
|
59d48ade22
|
coqPackages.coq-ext-lib: 0.11.1 → 0.11.2
|
2020-08-19 08:08:37 +02:00 |
|
Vincent Laporte
|
d0bb8ca41b
|
coqPackages.interval: 3.4.2 → 4.0.0
|
2020-08-17 07:05:35 +02:00 |
|
Vincent Laporte
|
a379617057
|
coqPackages.stdpp: 1.2.1 → 1.4.0
coqPackages.iris: 3.2.0 → 3.3.0
|
2020-08-16 08:22:55 +02:00 |
|
Cyril Cohen
|
084d5c0b8c
|
coq-elpi: 1.4.1 -> 1.5.1
|
2020-08-11 13:49:51 +02:00 |
|
Vincent Laporte
|
b8dfca143c
|
coq_8_12: 8.12+β1 → 8.12.0
coqPackages.equations: 1.2.2 → 1.2.3
|
2020-08-08 06:33:08 +02:00 |
|
Vincent Laporte
|
3541e8b4fb
|
coqPackages.bignums: init at 8.12.0 for Coq 8.12
|
2020-08-01 18:04:52 +02:00 |
|
Vincent Laporte
|
f2df7cd34f
|
coqPackages.math-classes: 8.9.1 → 8.11.0
|
2020-07-19 18:41:00 +02:00 |
|
Vincent Laporte
|
5adadd1466
|
coqPackages.tlc: 20181116 → 20200328
|
2020-07-17 19:43:34 +02:00 |
|
Vincent Laporte
|
d1a7237eee
|
coqPackages.coq-extensible-records: remove at 1.2.0
|
2020-07-10 11:26:41 +02:00 |
|
Vincent Laporte
|
473519a25d
|
coqPackages.coq-extensible-records: enable for Coq 8.11 and 8.12
|
2020-07-10 11:26:41 +02:00 |
|
Vincent Laporte
|
f6db90a389
|
coqPackages.coq-bits: enable for Coq 8.11 and 8.12
|
2020-07-09 08:17:49 +02:00 |
|
Vincent Laporte
|
60940d7dde
|
coqPackages.QuickChick: 1.2.0 → 1.2.1, 1.3.1
|
2020-07-05 10:43:06 +02:00 |
|
Vincent Laporte
|
4e0164cbb3
|
coqPackages.equations: 1.2.1 → 1.2.2
|
2020-06-30 08:51:15 +02:00 |
|
Vincent Laporte
|
5dfcb77a8e
|
coqPackages.interval: 3.4.1 → 3.4.2
|
2020-06-29 07:41:28 +02:00 |
|
Vincent Laporte
|
05eefe5ef8
|
coqPackages.simple-io: 1.2.0 → 1.3.0
|
2020-06-23 08:07:29 +02:00 |
|
Vincent Laporte
|
a4de542abe
|
coqPackages.coquelicot: 3.0.3 → 3.1.0
|
2020-06-21 10:05:15 +02:00 |
|
Vincent Laporte
|
5293575e85
|
coqPackages.mathcomp: enable 1.11.0 for Coq 8.12
|
2020-06-19 12:28:42 +02:00 |
|
Vincent Laporte
|
2d50195be2
|
coqPackages.flocq: 3.2.0 → 3.3.1
|
2020-06-14 09:51:00 +02:00 |
|
Cyril Cohen
|
b7f55b30f5
|
coqPackages.mathcomp: 1.11.0
|
2020-06-12 14:37:40 +02:00 |
|
Cyril Cohen
|
c60e2bee7c
|
coqPackages.coq-elpi: 1.4.0 -> 1.4.1
|
2020-06-12 10:12:02 +02:00 |
|
Cyril Cohen
|
cc1f954bc4
|
ocamlPackages.elpi: 1.10.2 -> 1.11.0
coqPackages.coq-elpi: 1.3.1 -> 1.4.0
coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
|
2020-06-04 10:25:19 +02:00 |
|
Vincent Laporte
|
f0d985cf9c
|
coqPackages.Verdi: 20190202 → 20200131
|
2020-06-02 09:18:29 +02:00 |
|
Vincent Laporte
|
6f9d12460b
|
coqPackages.Cheerios: 20181102 → 20200201
|
2020-06-02 09:18:29 +02:00 |
|
Vincent Laporte
|
550533171d
|
coqPackages.InfSeqExt: 20180918 → 20200131
|
2020-06-02 09:18:29 +02:00 |
|
Vincent Laporte
|
19dab239bb
|
coqPackages.CoLoR: enable for Coq 8.11
|
2020-06-01 15:04:17 +02:00 |
|
Cyril Cohen
|
147aded7df
|
coqPackages.mathcomp-extra: refactor
- removing broken packages
- taking into account fixpoint coqPackages in mathcomp-extra-config
|
2020-05-27 09:22:42 +02:00 |
|