Cyril Cohen
|
cf210c082d
|
coqPackages.hierarchy-builder: init at 0.9.0
|
2020-03-11 17:15:52 +01:00 |
|
Vincent Laporte
|
659e89e21b
|
coqPackages.dpdgraph: enable for Coq ≥ 8.9
|
2020-03-10 17:46:15 +01:00 |
|
Vincent Laporte
|
e8243467b9
|
coqPackages_8_10.QuickChick: init at 1.2.0
|
2020-03-06 07:28:26 +01:00 |
|
Vincent Laporte
|
4f8ea1e02e
|
coqPackages.simple-io: enable for Coq 8.10
|
2020-03-06 07:28:26 +01:00 |
|
Vincent Laporte
|
b01052f138
|
coqPackages.paco: enable for Coq 8.10 and 8.11
|
2020-03-04 07:12:02 +01:00 |
|
Cyril Cohen
|
66a7f5d4e2
|
elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3
|
2020-03-03 14:57:42 +01:00 |
|
Vincent Laporte
|
229dc013b3
|
coqPackages.mathcomp_1_10: init at 1.10.0
|
2020-02-24 15:18:07 +01:00 |
|
Valentin Robert
|
40376f1724
|
coqPackages.coq-ext-lib: 0.10.3 -> 0.11.1
|
2020-02-20 18:13:11 +01:00 |
|
Vincent Laporte
|
f2cd2ee0e0
|
coqPackages.bignums: enable for Coq 8.11
|
2020-02-07 10:26:26 +01:00 |
|
Vincent Laporte
|
fa709922f3
|
coqPackages.tlc: disable for Coq > 8.10
|
2020-01-31 14:09:51 +01:00 |
|
Jarrod Pas
|
b25a192755
|
coqPackages.CoLoR support for Coq 8.10
|
2020-01-26 09:37:22 -06:00 |
|
Jarrod Pas
|
bebbc486d0
|
Keeps older CoLoR available for older Coq
|
2020-01-25 16:38:04 -06:00 |
|
Jarrod Pas
|
4339f5803d
|
coqPackages.CoLoR 1.4.0 -> 1.6.0
The package is now developed on GitHub, so fetchurl was replace with
fetchFromGithub.
|
2020-01-22 02:05:22 -06:00 |
|
Robin Gloster
|
2157dcd141
|
treewide: installFlags is a list
|
2019-12-30 13:22:43 +01:00 |
|
Robin Gloster
|
ac8eaa8507
|
treewide: fix *Flags
|
2019-12-30 04:50:37 +01:00 |
|
c0bw3b
|
69b393ace5
|
Treewide: update some problematic homepages
These URLs are reported as problematic by Repology.
It could be a permanent redirection
or the page does not exist anymore
|
2019-12-08 10:21:29 -08:00 |
|
Valentin Robert
|
b937c4c734
|
coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
|
2019-11-08 09:42:01 +00:00 |
|
Valentin Robert
|
ea8e3f5979
|
coqPackages.paco: 1.2.8 -> 4.0.0
|
2019-11-08 09:41:30 +00:00 |
|
Valentin Robert
|
b76193a336
|
coqPackages.coq-extensible-records: support for coq 8.9 and 8.10
|
2019-10-29 12:42:22 +00:00 |
|
Valentin Robert
|
1bb56de88b
|
coqPackages.coq-bits: init at 20190812
|
2019-10-24 06:24:33 +00:00 |
|
Vincent Laporte
|
7044058ef7
|
coqPackages_8_10.ltac2: init at 0.3
|
2019-10-24 06:20:59 +00:00 |
|
Vincent Laporte
|
b4db381443
|
coq_8_10: 8.10+β3 → 8.10.0
coqPackages.coq-elpi: master → 1.1.0
|
2019-10-16 02:43:46 +00:00 |
|
Vincent Laporte
|
1f365f9d26
|
coqPackages_8_7.contribs.additions: remove
|
2019-10-11 07:58:42 +02:00 |
|
volth
|
7b8fb5c06c
|
treewide: remove redundant quotes
|
2019-09-08 23:38:31 +00:00 |
|
Jan Tojnar
|
f9237f3152
|
Merge branch 'master' into staging-next
|
2019-09-06 16:55:11 +02:00 |
|
Vincent Laporte
|
5b3dc48f19
|
coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0
Ensures compatibility with Coq ≥ 8.9
|
2019-09-06 11:51:34 +00:00 |
|
volth
|
08f68313a4
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
|
volth
|
35d68ef143
|
treewide: remove redundant quotes
|
2019-08-26 21:40:19 +00:00 |
|
Vincent Laporte
|
4018a4cddf
|
coqPackages.interval: 3.4.0 -> 3.4.1
|
2019-08-12 09:05:16 +00:00 |
|
Cyril Cohen
|
52f3c28df2
|
elpi: 1.4.1 -> 1.6.0, and coq-elpi
|
2019-08-09 08:47:52 +00:00 |
|
Vincent Laporte
|
5b0fdad5df
|
coqPackages.flocq: fetch sources from gitlab
|
2019-08-05 09:21:02 +00:00 |
|
Vincent Laporte
|
bc1417c557
|
coqPackages.flocq: 3.1.0 -> 3.2.0
Ensures compatibility with Coq 8.10
|
2019-08-05 09:21:02 +00:00 |
|
Vincent Laporte
|
58e0c7b8ce
|
coqPackages.coquelicot: 3.0.2 -> 3.0.3
Ensures compatibility with Coq 8.10
|
2019-08-03 06:16:54 +00:00 |
|
Vincent Laporte
|
f9486ce114
|
coqPackages.equations: 1.2beta2 -> 1.2 (#65281)
* coqPackages.equations: 1.2beta2 -> 1.2
* coqPackages.category-theory: 20181016 -> 20190414
|
2019-07-23 22:27:55 +02:00 |
|
Théo Zimmermann
|
fd20e227a0
|
coqPackages.math-classes: 8.8.1 -> 8.9.1
Introduces compatibility with Coq 8.10.
|
2019-07-22 11:37:37 +00:00 |
|
Cyril Cohen
|
d80148928b
|
coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0
|
2019-07-02 12:01:36 +00:00 |
|
Vincent Laporte
|
5f78fa399d
|
coqPackages.gappalib: disable for Coq 8.10
|
2019-06-27 13:59:02 +00:00 |
|
Vincent Laporte
|
37eef9055a
|
coqPackages.gappalib: init at 1.4.1
This is the Coq support library for Gappa.
|
2019-06-19 09:24:34 +00:00 |
|
Vincent Laporte
|
5e241a691b
|
coqPackages.coqprime: enable for Coq 8.10
|
2019-06-18 07:29:11 +00:00 |
|
Vincent Laporte
|
dbb6f70006
|
coqPackages.bignums: enable for Coq 8.10
|
2019-06-18 07:29:11 +00:00 |
|
volth
|
f3282c8d1e
|
treewide: remove unused variables (#63177)
* treewide: remove unused variables
* making ofborg happy
|
2019-06-16 19:59:05 +00:00 |
|
Vincent Laporte
|
7af35549ed
|
coqPackages.simple-io: 1.0.0 -> 1.2.0
|
2019-06-06 15:06:08 +00:00 |
|
Vincent Laporte
|
281b26533d
|
coqPackages.QuickChick: init at 1.1.0 for Coq 8.9
Removes QuickChick for Coq 8.7 as it is broken
(probably due to a too recent ssreflect).
|
2019-06-06 15:06:02 +00:00 |
|
Cyril Cohen
|
547466064e
|
coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed
|
2019-06-03 15:23:35 +00:00 |
|
Cyril Cohen
|
c96ef6fc44
|
updating packages coqPackages.bignums and coqPackages.equations
|
2019-05-23 15:05:15 +02:00 |
|
Vincent Laporte
|
c37e00067d
|
coqPackages.ltac2: init at 0.1
|
2019-05-23 14:25:07 +02:00 |
|
Cyril Cohen
|
d16a78b512
|
several fixes in coq and coqPackages.mathcomp (and extras)
|
2019-05-21 08:55:38 +02:00 |
|
Cyril Cohen
|
b71c308591
|
coqPackages: refactor mathcomp packages
Closes #61456
|
2019-05-15 14:11:21 +00:00 |
|
Vincent Laporte
|
b72daf7117
|
coq: init at 8.10+β1
|
2019-05-15 10:30:03 +02:00 |
|
Vincent Laporte
|
e3a03659e5
|
coqPackages.Verdi: 20181102 -> 20190202
|
2019-04-25 08:35:20 +02:00 |
|