nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 23:13:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #202972 from dotlambda/surelog-openjdk17

Browse Source
This commit is contained in:
Martin Weinelt 2022-11-26 13:33:25 +01:00 committed by GitHub
commit 40d2157f92
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/surelog/default.nix
View File

@ -5,7 +5,7 @@
, python3
, pkg-config
, libuuid
, openjdk11
, openjdk
, gperftools
, flatbuffers
, fetchpatch
@ -37,7 +37,7 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [
cmake
pkg-config
openjdk11
openjdk
(python3.withPackages (p: with p; [
psutil
orderedmultidict