From e74cde76c104df82b120a7b13964cb786da8f565 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Mon, 22 May 2023 20:18:50 +0200 Subject: community -> extra --- community/opam/PKGBUILD | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 community/opam/PKGBUILD (limited to 'community/opam/PKGBUILD') diff --git a/community/opam/PKGBUILD b/community/opam/PKGBUILD deleted file mode 100644 index 1e0c0b6b..00000000 --- a/community/opam/PKGBUILD +++ /dev/null @@ -1,3 +0,0 @@ -# hotfix for https://bugs.archlinux.org/task/59869 -makedepends=('ocaml-compiler-libs') - -- cgit v1.2.3-70-g09d2