| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Erich Eckner <git@eckner.net> | 2023-05-22 20:18:50 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2023-05-22 20:18:50 +0200 |
| commit | e74cde76c104df82b120a7b13964cb786da8f565 (patch) | |
| tree | 39967e24037929c04aaf79922aa260b437a60a5e /extra/opam/PKGBUILD | |
| parent | 73e1d3b448cc583ab38cae4d61a26f313fad946b (diff) | |
| -rw-r--r-- | extra/opam/PKGBUILD | 3 |
diff --git a/extra/opam/PKGBUILD b/extra/opam/PKGBUILD new file mode 100644 index 00000000..1e0c0b6b --- /dev/null +++ b/extra/opam/PKGBUILD @@ -0,0 +1,3 @@ +# hotfix for https://bugs.archlinux.org/task/59869 +makedepends=('ocaml-compiler-libs') + |