Vincent Laporte
9dfa33f610
coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13
2021-02-14 14:36:18 +01:00
Cyril Cohen
9ffd16b385
coqPackages: refactor
2021-01-09 11:56:17 +01:00
Vincent Laporte
13126ce0a0
coqPackages.dpdgraph: do not depend on camlp5 for recent versions of Coq
2020-10-09 16:32:48 +02:00
Vincent Laporte
60d0746a84
coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12
2020-09-01 08:53:19 +02:00
Vincent Laporte
f2eeeb83f2
coqPackages.dpdgraph: fix build with OCaml ≥ 4.08
2020-04-13 11:04:26 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Vincent Laporte
659e89e21b
coqPackages.dpdgraph: enable for Coq ≥ 8.9
2020-03-10 17:46:15 +01:00
Robin Gloster
2157dcd141
treewide: installFlags is a list
2019-12-30 13:22:43 +01:00
volth
35d68ef143
treewide: remove redundant quotes
2019-08-26 21:40:19 +00:00
Vincent Laporte
59949aa55c
Revert "coq-modules: add default to fix eval"
...
This reverts commit e20b65156c
2019-02-01 16:02:42 +00: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
1276e82c2e
coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8
2018-05-09 08:03:10 +02:00
Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
2018-03-21 18:06:28 +00:00
John Wiegley
b2418ca598
coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7
2017-11-12 08:50:36 -08: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
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet
2017-10-22 12:43:27 -07:00
John Ericson
531e4b80c9
misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs
...
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Vincent Laporte
befc29454b
coqPackages.dpdgraph: 0.5 -> 0.6{,.1}
2017-01-12 21:23:18 +00:00
Vincent Laporte
a42f845925
coq-dpdgraph: init at 0.5
2016-05-03 09:27:16 +02:00
