diff options
Diffstat (limited to 'pcr')
| -rw-r--r-- | pcr/ocaml-result/PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pcr/ocaml-result/PKGBUILD b/pcr/ocaml-result/PKGBUILD index 5c5869902..ad55bd75f 100644 --- a/pcr/ocaml-result/PKGBUILD +++ b/pcr/ocaml-result/PKGBUILD @@ -6,7 +6,7 @@ _pkgname=result pkgname=ocaml-${_pkgname} pkgver=1.2 -pkgrel=2 +pkgrel=3 pkgdesc="Compatibility Result module" arch=('i686' 'x86_64' 'armv7h') url="https://github.com/janestreet/result" |