1 files changed, 5 insertions, 4 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 1e5ffaf47b17..995fcb2e67e2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,9 @@
 # Maintainer: Mort Yao <soi@mort.ninja>
 
 pkgname=fstar-bin
-pkgver=0.9.6.0
-pkgrel=2
+pkgver=0.9.7.0
+_subver=-alpha1
+pkgrel=1
 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification'
 url='https://fstar-lang.org/'
 license=('Apache')
@@ -10,8 +11,8 @@ arch=('x86_64')
 depends=()
 provides=('fstar')
 conflicts=('fstar' 'fstar-git')
-source=("https://github.com/FStarLang/FStar/releases/download/v${pkgver}/fstar_${pkgver}_Linux_x86_64.tar.gz")
-md5sums=('789116db65f7fde743702ec641f7ccee')
+source=("https://github.com/FStarLang/FStar/releases/download/V${pkgver}${_subver}/fstar_${pkgver}${_subver}_Linux_x86_64.tar.gz")
+md5sums=('31316d6dc26e12e1c69b516bfdeeea3f')
 
 package() {
   cd "fstar"