John Wiegley
|
4bd69fd249
|
coqPackages.bignums: Change expression to match other Coq packages
Without this change, it's impossible to override bignums, or ignore it when
creating custom datasets for other versions of Coq (such as 8.8+alpha).
|
2018-03-06 07:46:51 -08:00 |
|
John Wiegley
|
9186aa1bf8
|
coqPackages.QuickChick: use fetchFromGitHub
|
2018-03-06 07:46:51 -08:00 |
|
John Wiegley
|
f5f71c08cd
|
coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27
|
2018-03-05 13:07:16 -08:00 |
|
Vincent Laporte
|
a9d066a990
|
coqPackages.tlc: init at 20171206
TLC is a general purpose Coq library that provides an alternative to Coq's
standard library.
Homepage: http://www.chargueraud.org/softs/tlc/
|
2017-12-28 08:19:54 +01:00 |
|
Vincent Laporte
|
24474528e4
|
coqPackages.contribs.containers: fix url
|
2017-12-22 17:07:25 +00:00 |
|
John Wiegley
|
2134543064
|
coqPackages.contribs: new set with all packages from coq-contribs
|
2017-12-21 10:26:56 -08:00 |
|
John Wiegley
|
60a6b81e2d
|
coqPackages.equations: -> 1.0
|
2017-12-21 01:06:14 -08:00 |
|
Vincent Laporte
|
fcb89df111
|
coqPackages.multinomials: init at 1.0
|
2017-12-18 15:30:38 +00:00 |
|
Vincent Laporte
|
d9f41a5bce
|
coqPackages: move to a separate file and filter the package set
|
2017-12-18 15:30:36 +00:00 |
|
John Wiegley
|
8123bc7942
|
coqPackages.coq-haskell: Update to add Hask.Ssr module
|
2017-12-15 08:53:49 -08:00 |
|
John Wiegley
|
d1532bc6c6
|
coqPackages.category-theory: New expression
|
2017-12-14 23:32:37 -08:00 |
|
John Wiegley
|
0042a343b4
|
coqPackages.coq-haskell: New expression
|
2017-12-14 23:32:37 -08:00 |
|
John Wiegley
|
dc6f3e3c7b
|
coqPackages_8_7.QuickChick: update to latest master
|
2017-12-12 11:37:17 -08:00 |
|
Vincent Laporte
|
da84fab60b
|
coqPackages_8_4.contribs: remove
|
2017-12-02 08:54:19 +00:00 |
|
Vincent Laporte
|
48aa378780
|
coqPackages_8_4.ynot: remove
|
2017-12-02 08:53:14 +00:00 |
|
Vincent Laporte
|
e8a316f17f
|
coqPackages_8_4.unimath: remove
|
2017-12-02 08:52:38 +00:00 |
|
Vincent Laporte
|
c1efbbab96
|
coqPackages_8_4.tlc: remove
|
2017-12-02 08:52:01 +00:00 |
|
Vincent Laporte
|
f6284c76da
|
coqPackages_8_4.ssreflect: remove
|
2017-12-02 08:51:36 +00:00 |
|
Vincent Laporte
|
f307634f9d
|
coqPackages_8_4.QuickChick: remove
|
2017-12-02 08:51:02 +00:00 |
|
Vincent Laporte
|
5b7e3de309
|
coqPackages_8_4.mathcomp: remove
|
2017-12-02 08:49:36 +00:00 |
|
Vincent Laporte
|
00a6d849f8
|
coqPackages_8_4.interval: remove
|
2017-12-02 08:48:41 +00:00 |
|
Vincent Laporte
|
5a043e24da
|
coqPackages_8_4.fiat: remove
|
2017-12-02 08:46:16 +00:00 |
|
Vincent Laporte
|
13573cf129
|
coqPackages_8_4.domains: remove
|
2017-12-02 08:45:14 +00:00 |
|
Vincent Laporte
|
017321a91c
|
coqPackages_8_4.coquelicot: remove
|
2017-12-02 08:44:29 +00:00 |
|
Vincent Laporte
|
5add451ee3
|
coqPackages_8_4.coqeal: remove
|
2017-12-02 08:42:29 +00:00 |
|
Vincent Laporte
|
7a12b3de44
|
coqPackages_8_4.coqExtLib: remove
|
2017-12-02 08:41:40 +00:00 |
|
Vincent Laporte
|
1ada9f8283
|
coqPackages_8_4.bedrock: remove
|
2017-12-02 08:40:42 +00:00 |
|
Vincent Laporte
|
d7e84159f8
|
coqPackages.interval: make bignums optional and propagated
|
2017-11-13 08:42:52 +00:00 |
|
John Wiegley
|
9ea242c617
|
coqPackages.interval: Add bignums, now a required dependency
|
2017-11-12 10:21:56 -08:00 |
|
John Wiegley
|
a41478cebb
|
coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7
|
2017-11-12 10:03:32 -08:00 |
|
John Wiegley
|
bb038283c4
|
coqPackages.metalib: New expression
|
2017-11-12 09:34:06 -08:00 |
|
John Wiegley
|
7d6d4af1d1
|
Add missing default.nix for coqPackages.equations
|
2017-11-12 09:33:40 -08:00 |
|
John Wiegley
|
dcab51c6f4
|
coqPackages.QuickChick: Update build for Coq 8.6 and 8.7
|
2017-11-12 09:17:48 -08:00 |
|
John Wiegley
|
f1fc74359f
|
coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7
|
2017-11-12 08:50:37 -08:00 |
|
John Wiegley
|
b2418ca598
|
coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7
|
2017-11-12 08:50:36 -08:00 |
|
John Wiegley
|
462b5e0d21
|
coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7
|
2017-11-11 09:44:55 -08:00 |
|
Tim Steinbach
|
198fd526ca
|
Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"
|
2017-11-07 17:15:09 +00:00 |
|
Maxime Dénès
|
90d33e4eaa
|
coqPackages.ssreflect: 1.6.1 -> 1.6.4
|
2017-11-07 13:26:13 +01:00 |
|
Maxime Dénès
|
5a43ac2c60
|
coqPackages.mathcomp: 1.6.1 -> 1.6.4
|
2017-11-07 13:26:10 +01:00 |
|
Théo Zimmermann
|
1ddadc6b1c
|
coqPackages.math-classes: 1.0.6 -> 1.0.7
This version introduces compatibility with Coq 8.7.
|
2017-11-05 16:59:23 +01:00 |
|
Théo Zimmermann
|
f4914d4eb4
|
bignums: init at various versions
Bignums used to be part of the standard library of Coq.
We provide a version for Coq 8.6, and one for Coq 8.7.
|
2017-11-05 16:59:23 +01:00 |
|
Maxime Dénès
|
51e68732f9
|
coqPackages.dpdgraph: remove support for coq 8.7
coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported
upstream.
|
2017-10-30 02:02:19 +01:00 |
|
John Wiegley
|
79aa720020
|
Merge pull request #30708 from maximedenes/fix-quickchick
coqPackages.QuickChick: remove support for coq 8.7
|
2017-10-26 10:18:53 -07:00 |
|
Maxime Dénès
|
41df85dd1b
|
coqPackages.QuickChick: remove support for coq 8.7
coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported
upstream.
|
2017-10-23 22:40:29 +02:00 |
|
Vincent Laporte
|
4ace0daa21
|
coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6
|
2017-10-22 20:48:18 +00:00 |
|
John Wiegley
|
89720d851a
|
coqPackages_8_7: New expression, but don't make it the default yet
|
2017-10-22 12:43:27 -07:00 |
|
Vincent Laporte
|
43ebfb5016
|
coqPackages.flocq: 2.5.2 -> 2.6.0
|
2017-10-18 23:21:37 +00:00 |
|
Langston Barrett
|
48a49fc12e
|
coqPackages.HoTT: init at 20170921
|
2017-10-11 02:51:16 +02:00 |
|
Vladimír Čunát
|
ef41fc7f51
|
Merge branch 'master' into staging
Hydra: ?compare=1399476
|
2017-10-07 10:17:42 +02:00 |
|
Vincent Laporte
|
5728b8d4e6
|
coqPackages.coquelicot: 2.1.2 -> 3.0.1
coqPackages.interval: 3.1.1 -> 3.3.0
|
2017-10-06 21:16:06 +00:00 |
|