nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-06 12:14:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

mercury: unpin to jdk8

Browse Source
This commit is contained in:
Nick Cao 2022-11-26 21:54:25 +08:00
parent d937fb7956
commit cc5788c8d0
No known key found for this signature in database
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View File

@ -14762,9 +14762,7 @@ with pkgs;
marst = callPackage ../development/compilers/marst { };
mercury = callPackage ../development/compilers/mercury {
jdk = openjdk8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
mercury = callPackage ../development/compilers/mercury { };
microscheme = callPackage ../development/compilers/microscheme { };