nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-16 02:33:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
380,497 Commits 171 Branches 125 Tags 9.1 GiB
9b103fac08
Commit Graph

1335 Commits

Author SHA1 Message Date
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
github-actions[bot]
deef19c9a1
Merge master into staging-next 2022-05-22 06:01:27 +00:00
github-actions[bot]
dbef850602
Merge master into staging-next 2022-05-22 00:02:20 +00:00
Ben Siraphob
519f0b9e58
zchaff: use clangStdenv 
Fixes build on Linux
 2022-05-21 16:55:37 -07:00
Ben Siraphob
3c31489f15
Merge pull request #173933 from siraben/zchaff-init 
zchaff: init at 2004.5.13
 2022-05-21 16:26:06 -07:00
Ben Siraphob
a6aa08532c
zchaff: init at 2004.5.13 2022-05-21 15:12:08 -07:00
github-actions[bot]
bd83e4cf98
Merge master into staging-next 2022-05-19 12:01:54 +00:00
Sandro
ed58443645
Merge pull request #173172 from Artturin/deprecatestringconf 
stdenv: start deprecating non-list configureFlags
 2022-05-19 11:25:24 +02:00
github-actions[bot]
17dfec3606
Merge master into staging-next 2022-05-19 00:02:14 +00:00
Vincent Laporte
4a87fcbc86
why3: 1.4.1 → 1.5.0 
easycrypt: fix build with why3-1.5.0
frama-c: build with why3 1.4.1
 2022-05-19 00:13:20 +02:00
Vincent Laporte
6e3a86f2f7
why3.withProvers: fix #168644 2022-05-19 00:09:30 +02:00
github-actions[bot]
925219f62b
Merge master into staging-next 2022-05-18 18:01:13 +00:00
Artturin
cf7476804a treewide: convert string configureFlags to list of strings 2022-05-18 20:32:33 +03:00
Mauricio Collares
4b37f16232 lean: 3.42.1 -> 3.43.0 2022-05-18 10:30:32 -04:00
Mauricio Collares
0a449d8fff lean: 3.42.0 -> 3.42.1 2022-05-18 10:27:18 -04:00
github-actions[bot]
fe71877bbd
Merge staging-next into staging 2022-05-13 18:03:04 +00:00
Armeen Mahdian
f779b60d20 aspino: 2017-03-09 -> 2018-03-24 2022-05-13 10:53:37 -05:00
github-actions[bot]
814126147f
Merge staging-next into staging 2022-05-13 12:02:03 +00:00
Vincent Laporte
1f11888116 Revert "coqPackages: etc" 
This reverts commit 7e589a45ef.
 2022-05-13 06:47:14 +02:00
Vincent Laporte
215235cce5 Revert "moving findlib to propagedNativeBuildInputs" 
This reverts commit 82440c9374.
 2022-05-13 06:47:14 +02:00
Thiago Kenji Okada
5c5187646d
Merge pull request #172366 from ncfavier/wrappers-cleanup 
make{,Binary}Wrapper: some cleanups
 2022-05-12 22:17:34 +01:00
Naïm Favier
3c77d361b5
makeShellWrapper: add explicitly named attribute 
So that things that use the makeShellWrapper/wrapProgramShell
functions can depend on makeShellWrapper explicitly, which should ease
migration in the future.
 2022-05-12 11:01:23 +02:00
Thiago Kenji Okada
1919e181fb
Merge pull request #172641 from WolfangAukang/monosat-fix 
python3Packages.monosat: disable failing tests
 2022-05-12 10:01:16 +01:00
Cyril Cohen
82440c9374 moving findlib to propagedNativeBuildInputs 2022-05-12 06:11:43 +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
P. R. d. O
17be6f75ce
python3Packages.monosat: disable failing tests 2022-05-11 18:29:58 -06:00
Naïm Favier
62245943aa
makeWrapper,makeBinaryWrapper: introduce explicitly named functions 
Because both versions might end up in a derivation's build inputs, it
might be useful to be able to explicitly select which function to use.
 2022-05-10 22:07:56 +02:00
Dominik Xaver Hörl
86e7fa945e tlaplusToolbox: use non-binary wrapper for wrapGAppsHook 
The use of --add-flags in this derivation does not work with binary
    wrappers, which wrapGAppsHook uses since #164163.
 2022-05-10 15:13:58 +02:00
Lassulus
5ed1d2ff8f
Merge pull request #163885 from r-ryantm/auto-update/ott 
ott: 0.31 -> 0.32
 2022-05-10 11:45:47 +02:00
Bernardo Meurer
e6b94ad07e
Merge pull request #171602 from malob/treewide-mainProgram 
treewide: add meta.mainProgram to many packages
 2022-05-05 18:16:09 -07:00
Vincent Laporte
c777cdf5c5 easycrypt-runtest: init at 2022.04 2022-05-05 06:57:50 +02:00
Vincent Laporte
b20934a65c easycrypt: init at 2022.04 2022-05-05 06:57:50 +02:00
Malo Bourgon
16e15fa68f treewide: add meta.mainProgram to many packages 2022-05-04 18:08:19 -07:00
Anders Kaseorg
00e66f10fa coq: Rename internal versionAtLeast helper to coqAtLeast 
To avoid potential confusion with lib.versionAtLeast.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2022-04-25 13:35:06 -07:00
R. Ryantm
e66cf9c6c8 elan: 1.4.0 -> 1.4.1 2022-04-24 14:14:48 -04:00
Artturin
f1c7f19e49 treewide: testVersion -> testers.testVersion 2022-04-22 16:24:27 +03:00
Jan van Brügge
9aa4c5dbfc
isabelle: Make closer to upstream 
This makes isabelle use the versions of polyml and z3 that are also used
upstream. Additionally it packages the sha1 library that isabelle uses.

Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>
 2022-04-20 11:22:43 +02:00
Jan van Brügge
2e52d5c892
naproche: 0.1.0.0 -> 2022-04-19 
This fixes the build with GHC 9
 2022-04-20 09:14:24 +02:00
Sandro Jäckel
f1189d812e
fast-downward: substitute version, fix buildInputs, minor cleanup 2022-04-16 22:46:45 +02:00
Fabián Heredia Montiel
8c5a58144d fast-downward: 19.12 → 21.12.0 2022-04-16 11:11:46 -05:00
Martin Weinelt
a7fc5aaa76 Merge remote-tracking branch 'origin/master' into staging-next 2022-04-15 13:30:48 +02:00
Lassulus
92734ac395
Merge pull request #166865 from malob/treewide-mainProgram 
treewide: add meta.mainProgram to many packages
 2022-04-15 09:28:00 +01:00
Malo Bourgon
0e802eafad treewide: add meta.mainProgram to many packages 2022-04-14 10:24:01 -07:00
Vladimír Čunát
d5d94127fd
Merge branch 'staging-next' into staging 
Minor conflicts; I hope I didn't mess up:
	pkgs/development/tools/misc/binutils/default.nix
	pkgs/games/openjk/default.nix
 2022-04-14 09:53:21 +02:00
R. Ryantm
ae6932e7b9 elan: 1.3.1 -> 1.4.0 2022-04-13 20:56:11 -04:00
Luflosi
0a2f8109f4 abc-verifier: 2022.03.04 -> 2022.03.22 2022-04-12 08:38:25 -05:00
github-actions[bot]
28c6c88d42
Merge staging-next into staging 2022-04-10 00:02:52 +00:00
Thiago Kenji Okada
615e5e10c1
Merge pull request #166740 from shadaj/init-cvc5-symfpu 
cvc5: init at 1.0.0 & symfpu: init at 8fbe139b
 2022-04-09 20:07:29 +01:00
Shadaj Laddad
74b7319023 cvc5: init at 1.0.0 2022-04-06 21:20:40 +00:00
github-actions[bot]
241b3652c3
Merge staging-next into staging 2022-04-06 12:01:50 +00:00