summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pcr/ocaml-result/PKGBUILD2
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"