mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-07-06 17:13:24 -05:00
parent
0aedccd6c4
commit
e5eb5cbed4
2 changed files with 0 additions and 1 deletions
|
|
@ -4887,7 +4887,6 @@ with pkgs;
|
|||
php85Extensions = recurseIntoAttrs php85.extensions;
|
||||
php85Packages = recurseIntoAttrs php85.packages;
|
||||
|
||||
polyml = callPackage ../development/compilers/polyml { };
|
||||
polyml56 = callPackage ../development/compilers/polyml/5.6.nix { };
|
||||
polyml57 = callPackage ../development/compilers/polyml/5.7.nix { };
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue