nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-24 13:53:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
571,390 Commits 192 Branches 125 Tags 6.5 GiB
62abc91b9f
Commit Graph

17 Commits

Author SHA1 Message Date
Vincent Laporte
02643fe422 coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
Jan Malakhovski
5852f26bdc treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases 2023-08-03 16:32:03 +00:00
Vincent Laporte
0697e32ae1
coqPackages_8_17: enable a few packages for Coq 8.17 2023-04-13 14:23:14 +02:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Vincent Laporte
577c99884d coqPackages.metalib: enable for Coq 8.16 2022-06-13 11:29:20 +02: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
Vincent Laporte
5e718d7071 coqPackages.metalib: clean & init at 8.15 2022-04-27 11:36:20 +02:00
Vincent Laporte
bcbf6aafbd coqPackages.metalib: enable for Coq 8.13 2021-05-10 18:57:58 +02:00
Cyril Cohen
9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Vincent Laporte
a1f8e0b4a1 coqPackages.metalib: 20170713 → 20200527 2020-09-22 21:53:29 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Vincent Laporte
36e9fe820c coqPackages_8_9: disable a few packages that do not build 2019-02-08 02:01:32 +01: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
d9f41a5bce
coqPackages: move to a separate file and filter the package set 2017-12-18 15:30:36 +00:00
John Wiegley
bb038283c4
coqPackages.metalib: New expression 2017-11-12 09:34:06 -08:00