11 Commits

Author	SHA1	Message	Date
Weijia Wang	8ff706bad2	Merge pull request #212009 from Shawn8901/remove_with_lib_2 ... treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-24 01:39:55 +01:00
Ferry Jérémie	65d7e87fdb	treewide: replace http by https when https is a permanent redirection	2023-01-22 02:46:49 +01:00
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Cyril Cohen	7e5e6625e2	Update HoTT and drop archaic 8.6 specific install	2022-11-29 12:57:11 +01:00
Cyril Cohen	d113661156	coqPackages: etc ... - put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path, - updated `coqPackage.heq` (broken url), - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation, - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place, - make `metaFetch` available from `coqPackages`	2022-05-25 20:00:25 +02:00
Vincent Laporte	1f11888116	Revert "coqPackages: etc" ... This reverts commit 7e589a45ef.	2022-05-13 06:47:14 +02:00
Cyril Cohen	7e589a45ef	coqPackages: etc ... - use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages`	2022-05-12 06:11:43 +02: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
Vincent Laporte	d9f41a5bce	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
Langston Barrett	48a49fc12e	coqPackages.HoTT: init at 20170921	2017-10-11 02:51:16 +02:00