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 |
|
Vincent Laporte
|
f61cadb624
|
coqPackages.tlc: 20180316 -> 20181116
|
2019-04-24 08:54:56 +02:00 |
|
Vincent Laporte
|
f09a13899d
|
coqPackages.mathcomp: 1.7.0 -> 1.8.0
coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0
coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0
|
2019-04-23 09:35:38 +02:00 |
|
Vincent Laporte
|
823107038b
|
coqPackages.coqhammer: init at 1.1
CoqHammer is a general-purpose automated reasoning hammer tool for Coq.
Homepage: http://cl-informatik.uibk.ac.at/cek/coqhammer/
|
2019-03-29 09:07:27 +01:00 |
|
Vincent Laporte
|
f23e6ec166
|
coqPackages.contribs.containers: enable for Coq 8.9
|
2019-03-18 10:25:58 +01:00 |
|
Vincent Laporte
|
2923bd5d06
|
coqPackages.coq-simple-io: 0.2 -> 1.0.0
coqPackages.QuickChick: 1.0.2 -> 20190311
|
2019-03-18 09:52:01 +01:00 |
|
Vincent Laporte
|
fc32780cdf
|
coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1
|
2019-03-15 18:45:01 +01:00 |
|
Théo Zimmermann
|
b6a6f7ac98
|
coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0
|
2019-03-12 06:59:51 +00:00 |
|
Vincent Laporte
|
4a21043578
|
coqPackages.mathcomp-analysis: enable for Coq 8.9
|
2019-02-18 08:54:11 +01:00 |
|
Vincent Laporte
|
13e9efbb02
|
coqPackages.paramcoq: init at 1.1.1
|
2019-02-17 15:56:43 +01:00 |
|
Vincent Laporte
|
86db60f3f3
|
coqPackages.flocq: 3.0.0 -> 3.1.0
|
2019-02-15 10:03:39 +01:00 |
|
Vincent Laporte
|
1613f3db27
|
coqPackages.interval: 3.3.0 -> 3.4.0
|
2019-02-15 10:03:39 +01:00 |
|
Vincent Laporte
|
9461a108bc
|
coqPackages.coquelicot: 3.0.1 -> 3.0.2
|
2019-02-15 10:03:39 +01:00 |
|
Vincent Laporte
|
5d3e350536
|
coqPackages.mathcomp-analysis: init at 0.1.0
|
2019-02-09 12:33:02 +01:00 |
|
Vincent Laporte
|
bafa15f145
|
coqPackages.mathcomp-finmap: init at 1.1.0
|
2019-02-09 12:33:02 +01:00 |
|
Vincent Laporte
|
590e07779c
|
coqPackages.mathcomp-bigenough: init at 1.0.0
|
2019-02-09 12:33:02 +01:00 |
|
Vincent Laporte
|
36e9fe820c
|
coqPackages_8_9: disable a few packages that do not build
|
2019-02-08 02:01:32 +01:00 |
|
Vincent Laporte
|
59949aa55c
|
Revert "coq-modules: add default to fix eval"
This reverts commit e20b65156c.
|
2019-02-01 16:02:42 +00:00 |
|
John Wiegley
|
7239ffcc3c
|
coqPackages.equations: 1.2-beta-8.9 for coq_8_9
|
2019-01-31 11:56:07 -08:00 |
|
Valentin Robert
|
f5dbe5de07
|
coqPackages.coq-extensible-records: init at 1.2.0
|
2019-01-30 11:30:23 +00:00 |
|