Merge pull request #222368 from wegank/opa-drop

opa: drop
NixOS · Mar 22, 2023 · 293e39e · 293e39e
2 parents a0ffb1f + 929000c
commit 293e39e
Show file tree

Hide file tree

Showing 7 changed files with 1 addition and 450 deletions.
diff --git a/pkgs/development/compilers/opa/default.nix b/pkgs/development/compilers/opa/default.nix
diff --git a/pkgs/development/compilers/opa/ocaml-4.03.patch b/pkgs/development/compilers/opa/ocaml-4.03.patch
diff --git a/pkgs/development/compilers/opa/ocaml-4.04.patch b/pkgs/development/compilers/opa/ocaml-4.04.patch
diff --git a/pkgs/development/compilers/opa/ocaml-4.14-tags.patch b/pkgs/development/compilers/opa/ocaml-4.14-tags.patch