Vincent Laporte
|
e0561cbadd
|
coqPackages.Verdi: fix build
|
2018-12-21 12:37:04 +01:00 |
|
Vincent Laporte
|
1d5059c5e6
|
coqPackages.InfSeqExt: fix build
|
2018-12-21 12:37:04 +01:00 |
|
Vincent Laporte
|
954bc20786
|
coqPackages.Cheerios: fix build
|
2018-12-21 12:37:04 +01:00 |
|
Vincent Laporte
|
5a12bedbfa
|
coqPackages.StructTact: fix build
|
2018-12-21 12:37:04 +01:00 |
|
Vincent Laporte
|
881bec3238
|
coqPackages.coqprime: enable for Coq 8.9
|
2018-12-20 10:43:59 +01:00 |
|
Vincent Laporte
|
655231a612
|
coqPackages.simple-io: init at 0.2
Purely functional IO for Coq.
homepage: https://github.com/Lysxia/coq-simple-io
|
2018-12-10 15:35:34 +00:00 |
|
Vincent Laporte
|
e21a5e6035
|
coqPackages_8_9.coq-ext-lib: init at 0.10.0
|
2018-12-10 15:33:59 +00:00 |
|
Vincent Laporte
|
2b66c286be
|
coqPackages.corn: init at 8.8.1
|
2018-12-10 07:56:32 +00:00 |
|
Vincent Laporte
|
e59970e3c4
|
coqPackages.math-classes: 1.0.7 -> 8.8.1
|
2018-12-03 08:29:46 +00:00 |
|
John Wiegley
|
a370bd1fed
|
coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi
|
2018-11-20 15:18:12 -08:00 |
|
Vincent Laporte
|
c4cad8cfa7
|
coqPackages.bignums: enable for Coq version 8.9
|
2018-11-19 08:47:34 +00:00 |
|
Jörg Thalheim
|
846b2faea1
|
Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflect
coqPackages.ssreflect: refactor choice of source version
|
2018-11-06 15:21:19 +00:00 |
|
Jörg Thalheim
|
5b813ebbc4
|
coqPackages.ssreflect: inherit mathcomp's source/meta attributes
|
2018-11-06 15:00:45 +00:00 |
|
Jörg Thalheim
|
993bd5df22
|
coqPackages.mathcomp: use fetchFromGitHub
|
2018-11-06 13:45:14 +00:00 |
|
Vincent Laporte
|
faea8def19
|
coqPackages_8_5.fiat_HEAD: fix build
|
2018-11-06 12:10:09 +00:00 |
|
Théo Zimmermann
|
7cc369c9d5
|
coqPackages.ssreflect: refactor choice of source version
|
2018-11-05 18:11:27 +01:00 |
|
Vincent Laporte
|
cd05d5a112
|
coqPackages.autosubst: fix build
|
2018-11-05 14:53:19 +00:00 |
|
Vincent Laporte
|
b3f6840d8e
|
coqPackages.ssreflect: refactor
|
2018-11-04 20:49:38 +00:00 |
|
Vincent Laporte
|
d2c38d1eef
|
coqPackages.mathcomp: refactor
|
2018-11-04 20:49:38 +00:00 |
|
Vincent Laporte
|
6a449c0742
|
coqPackages.contribs.zfc: enable for Coq 8.8
|
2018-11-02 08:51:24 +00:00 |
|
Vincent Laporte
|
ab95faa507
|
coqPackages.category-theory: fix build
|
2018-10-24 05:50:04 +00:00 |
|
John Wiegley
|
3c4c4ff051
|
coqPackages.Velisarios: New expression
|
2018-10-23 17:09:35 -07:00 |
|
Théo Zimmermann
|
8c399bd6c1
|
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
|
2018-10-19 10:25:09 +02:00 |
|
John Wiegley
|
1ba4d23c3a
|
Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"
This reverts commit f5f71c08cd, due to
insufficient testing.
|
2018-10-10 10:00:23 -07:00 |
|
Matthew Bauer
|
0421891aaa
|
Merge pull request #47589 from vbgl/coq-coqprime-init
coqPackages.coqprime: init at 8.7.2 & 8.8
|
2018-10-05 22:33:15 -05:00 |
|
John Wiegley
|
df48060e4c
|
coqPackages.coq-haskell: Support building with Coq 8.8
|
2018-10-04 17:13:41 -07:00 |
|
Vincent Laporte
|
c71cc0b98b
|
coqPackages.coqprime: init at 8.7.2 & 8.8
|
2018-10-01 10:11:24 +00:00 |
|
Janne Heß
|
9ef77854f7
|
treewide: Use http/https for homepages
|
2018-09-08 18:30:00 +02:00 |
|
Vladimír Čunát
|
5b0398dc36
|
Merge branch 'master' into staging-next
Conflicts: gobby and libinfinity - I took the hand-edited versions
instead of those resuting from the mass-replacement.
Hydra: ?compare=1473190
|
2018-08-13 20:43:59 +02:00 |
|
Vincent Laporte
|
3811efb347
|
coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}
|
2018-08-08 11:24:09 +00:00 |
|
John Ericson
|
db965063b3
|
treewide: Make configureFlags lists
|
2018-08-03 17:06:03 -04:00 |
|
Peter Simons
|
6d6522d30d
|
coqPackages.category-theory: revert "Add equations as a buildInput"
This reverts commit 08bf0b7630, which broke
Nixpkgs evaluation.
Ping @jwiegley.
|
2018-07-28 09:16:37 +02:00 |
|
John Wiegley
|
08bf0b7630
|
coqPackages.category-theory: Add equations as a buildInput
|
2018-07-27 16:17:09 -07:00 |
|
John Wiegley
|
368cca9f19
|
coqPackages.category-theory: Update to Git version as of 20180709
|
2018-07-27 16:11:52 -07:00 |
|
volth
|
52f53c69ce
|
pkgs/*: remove unreferenced function arguments
|
2018-07-21 02:48:04 +00: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 |
|
Vincent Laporte
|
44659fcbe1
|
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
|
2018-06-01 19:31:02 +02:00 |
|
Vincent Laporte
|
042790832e
|
coqPackages.tlc: 20171206 -> 20180316 (#40927)
|
2018-05-22 20:55:57 +02:00 |
|
Vincent Laporte
|
571a1e19e9
|
coqPackages.iris: init at 3.1.0 (#40909)
|
2018-05-22 19:26:32 +02:00 |
|
Vincent Laporte
|
42462d7b66
|
coqPackages.stdpp: init at 1.1
|
2018-05-15 20:55:53 +00:00 |
|
Vincent Laporte
|
1276e82c2e
|
coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8
|
2018-05-09 08:03:10 +02:00 |
|
Matthew Justin Bauer
|
738f9a9673
|
Merge pull request #39469 from vbgl/coq-contribs-containers-8.8
coqPackages.contribs.containers: make available for Coq 8.8
|
2018-05-01 10:21:58 -05:00 |
|
Vincent Laporte
|
b4d0647752
|
coqPackages.mathcomp: 1.6.4 -> 1.7.0
|
2018-05-01 11:06:04 +02:00 |
|
Vincent Laporte
|
72ec248eda
|
coqPackages.contribs.containers: make available for Coq 8.8
|
2018-04-25 06:27:21 +00:00 |
|
Vincent Laporte
|
f3c8036a70
|
coqPackages.bignums: make it available for Coq 8.8
|
2018-03-27 16:19:33 +00:00 |
|
John Wiegley
|
bee172501d
|
Merge pull request #37591 from vbgl/coq-88beta1
coq: init at 8.8+beta1
|
2018-03-23 22:09:06 -07:00 |
|
Vincent Laporte
|
6845b248d9
|
coq: init at 8.8+beta1
|
2018-03-21 18:06:28 +00:00 |
|
Vincent Laporte
|
1ce37ab8a9
|
coqPackages.contribs.containers: make available for Coq 8.7
|
2018-03-21 09:27:50 +01:00 |
|
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 |
|