diff options
Diffstat (limited to 'pkgs/development/compilers/ocaml/4.11.nix')
| -rw-r--r-- | pkgs/development/compilers/ocaml/4.11.nix | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/pkgs/development/compilers/ocaml/4.11.nix b/pkgs/development/compilers/ocaml/4.11.nix deleted file mode 100644 index 6a2e4f61f80e..000000000000 --- a/pkgs/development/compilers/ocaml/4.11.nix +++ /dev/null @@ -1,9 +0,0 @@ -import ./generic.nix { - major_version = "4"; - minor_version = "11"; - patch_version = "2"; - sha256 = "1m3wrgkkv3f77wvcymjm0i2srxzmx62y6jln3i0a2px07ng08l9z"; - patches = [ - ./glibc-2.34-for-ocaml-4.10-and-11.patch - ]; -} |