13 Commits

Author	SHA1	Message	Date
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01: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	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
John Wiegley	df48060e4c	coqPackages.coq-haskell: Support building with Coq 8.8	2018-10-04 17:13:41 -07:00
Janne Heß	9ef77854f7	treewide: Use http/https for homepages	2018-09-08 18:30:00 +02:00
Vincent Laporte	6845b248d9	coq: init at 8.8+beta1	2018-03-21 18:06:28 +00:00
John Wiegley	8123bc7942	coqPackages.coq-haskell: Update to add Hask.Ssr module	2017-12-15 08:53:49 -08:00
John Wiegley	0042a343b4	coqPackages.coq-haskell: New expression	2017-12-14 23:32:37 -08:00