diff options
author | Daniel Peukert | 2023-03-01 23:48:37 +0100 |
---|---|---|
committer | Daniel Peukert | 2023-03-01 23:48:37 +0100 |
commit | 82d92116defebbb8416b2e67523306961601d081 (patch) | |
tree | f1d927552a87e9c0fd6045ba0df73925595ab03f /PKGBUILD | |
parent | 967b2e517fb17ecbbb8853b0aba9e897a8379688 (diff) | |
download | aur-82d92116defebbb8416b2e67523306961601d081.tar.gz |
Get rid of ARM v5 and v6, as no Arch-based distro supports them
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ pkgname="ocaml-$_projectname" pkgver='0.15.0' pkgrel='3' pkgdesc='PRNG that can be split into independent streams' -arch=('x86_64' 'i686' 'arm' 'armv6h' 'armv7h' 'aarch64') +arch=('x86_64' 'i686' 'armv7h' 'aarch64') url="https://github.com/janestreet/$_projectname" license=('MIT') depends=('ocaml>=4.08.0' 'ocaml-base>=0.15.0' 'ocaml-ppx_assert>=0.15.0' 'ocaml-ppx_bench>=0.15.0' 'ocaml-ppx_inline_test>=0.15.0' 'ocaml-ppx_sexp_message>=0.15.0') |