Release 3.8

1 files changed, 3 insertions, 5 deletions

diff --git a/PKGBUILD b/PKGBUILD
index d33b20340725..30b270ff9654 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=compcert
 _dirname=CompCert
-pkgver=3.7
+pkgver=3.8
 pkgrel=1
 pkgdesc="The formally verified C compiler"
 arch=('x86_64')
@@ -14,8 +14,8 @@ makedepends=('coq>=8.8.0' 'ocaml>=4.05.0'
              'ocaml-findlib' # See: https://github.com/AbsInt/CompCert/issues/281
             )
 checkdepends=('parallel')
-source=("http://compcert.inria.fr/release/$pkgname-$pkgver.tgz")
-sha1sums=('63f327b7ee8a76fb720b7f1a644283d43dccd53a')
+source=("https://github.com/AbsInt/CompCert/archive/v$pkgver.tar.gz")
+sha1sums=('f30b3b4b2f3e0915c69538c9eda26f7a04625a6a')
 
 prepare() {
   cd $srcdir/$_dirname-$pkgver
@@ -28,8 +28,6 @@ build() {
   # -clightgen: builds and installs the clightgen tool
   # -install-coqdev: also installs the Coq development, implied by -clightgen, useful
   #   if you will use tools such as the Princeton VST)
-  #
-  # Current latest Coq version is 8.11.0, not officially supported but works, so ignoring Coq version
   ./configure -ignore-coq-version -prefix /usr $CARCH-linux
 
   make all