summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorrobinleander2018-07-27 17:55:06 +0200
committerrobinleander2018-07-27 17:55:06 +0200
commit5e3b14ed31b24c3c27549e66f9632646ea349490 (patch)
treeb67e7f419fcc1ce06af0921ff31eb3c556a3427b
parent8ede3e87399b2b492155154343c9828df31e1c52 (diff)
downloadaur-5e3b14ed31b24c3c27549e66f9632646ea349490.tar.gz
Bump release
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index fd74f773712f..47a64c1c6c52 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = fstar-ulib
pkgdesc = compiles the ulib component of F*
pkgver = 0.9.6.0
- pkgrel = 10
+ pkgrel = 11
url = https://www.fstar-lang.org/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index a2775fc613c7..f87d702822a0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=fstar-ulib
pkgver=0.9.6.0
-pkgrel=10
+pkgrel=11
pkgdesc="compiles the ulib component of F*"
arch=('i686' 'x86_64')
url='https://www.fstar-lang.org/'