diff options
-rw-r--r-- | community/ocaml/010_all_execstacks.patch (renamed from testing/ocaml/010_all_execstacks.patch) | 0 | ||||
-rw-r--r-- | community/ocaml/020_all_configure.patch (renamed from testing/ocaml/020_all_configure.patch) | 0 | ||||
-rw-r--r-- | community/ocaml/050_all_objinfoldflags.patch (renamed from testing/ocaml/050_all_objinfoldflags.patch) | 0 | ||||
-rw-r--r-- | community/ocaml/APKBUILD (renamed from testing/ocaml/APKBUILD) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/testing/ocaml/010_all_execstacks.patch b/community/ocaml/010_all_execstacks.patch index 30cf23ec61..30cf23ec61 100644 --- a/testing/ocaml/010_all_execstacks.patch +++ b/community/ocaml/010_all_execstacks.patch diff --git a/testing/ocaml/020_all_configure.patch b/community/ocaml/020_all_configure.patch index 4505a987ec..4505a987ec 100644 --- a/testing/ocaml/020_all_configure.patch +++ b/community/ocaml/020_all_configure.patch diff --git a/testing/ocaml/050_all_objinfoldflags.patch b/community/ocaml/050_all_objinfoldflags.patch index e7b2fc170f..e7b2fc170f 100644 --- a/testing/ocaml/050_all_objinfoldflags.patch +++ b/community/ocaml/050_all_objinfoldflags.patch diff --git a/testing/ocaml/APKBUILD b/community/ocaml/APKBUILD index b19e1f5b0a..b19e1f5b0a 100644 --- a/testing/ocaml/APKBUILD +++ b/community/ocaml/APKBUILD |