Vincent Laporte
a4adb1f75b
coqPackages.equations: 1.2 → 1.2.1
2020-04-23 18:03:04 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Robin Gloster
2157dcd141
treewide: installFlags is a list
2019-12-30 13:22:43 +01:00
volth
7b8fb5c06c
treewide: remove redundant quotes
2019-09-08 23:38:31 +00:00
volth
35d68ef143
treewide: remove redundant quotes
2019-08-26 21:40:19 +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
Cyril Cohen
c96ef6fc44
updating packages coqPackages.bignums and coqPackages.equations
2019-05-23 15:05:15 +02: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
Matthew Bauer
82a1153d6d
coq-modules: add default to fix eval
...
We don’t want these to not even evaluate, otherwise we won’t know why
they’re broken. For now, I’ve left these as the latest version for a
default. In the future, maybe we should be smarter about choosing these.
(cherry picked from commit e20b65156c
2019-01-28 10:16:30 -05:00
Théo Zimmermann
8c399bd6c1
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
2018-10-19 10:25:09 +02:00
Vincent Laporte
3f41f6c5fa
coqPackages.equations: enable for Coq 8.8
2018-07-08 11:13:27 +00:00
John Wiegley
1459b2dffa
coqPackages.equations: Add support for Coq 8.8
2018-07-05 15:17:22 -07:00
John Wiegley
60a6b81e2d
coqPackages.equations: -> 1.0
2017-12-21 01:06:14 -08: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
7d6d4af1d1
Add missing default.nix for coqPackages.equations
2017-11-12 09:33:40 -08:00
