Commit graph

230 commits

Author SHA1 Message Date
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
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