Release 3.12

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 45b5335da231..f490770498b4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = compcert
 	pkgdesc = The formally verified C compiler
-	pkgver = 3.11
+	pkgver = 3.12
 	pkgrel = 1
 	url = http://compcert.inria.fr
 	arch = x86_64
@@ -11,7 +11,7 @@ pkgbase = compcert
 	makedepends = ocaml-menhir>=20190626
 	makedepends = ocaml-findlib
 	depends = gcc
-	source = https://github.com/AbsInt/CompCert/archive/v3.11.tar.gz
-	sha256sums = 73924c7ee773f476f16acdd8e66ee7fc616a97760aae1650baae00f23358b3be
+	source = https://github.com/AbsInt/CompCert/archive/v3.12.tar.gz
+	sha256sums = ebd1d1f281995ed874736b20f178361120fe1df59dda9bf4be431fab864cf7d4
 
 pkgname = compcert
diff --git a/PKGBUILD b/PKGBUILD
index be81e62145cb..b099d7637b61 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=compcert
 _dirname=CompCert
-pkgver=3.11
+pkgver=3.12
 pkgrel=1
 pkgdesc="The formally verified C compiler"
 arch=('x86_64')
@@ -15,7 +15,7 @@ makedepends=('coq>=8.12.0' 'ocaml>=4.05.0'
             )
 checkdepends=('parallel')
 source=("https://github.com/AbsInt/CompCert/archive/v$pkgver.tar.gz")
-sha256sums=('73924c7ee773f476f16acdd8e66ee7fc616a97760aae1650baae00f23358b3be')
+sha256sums=('ebd1d1f281995ed874736b20f178361120fe1df59dda9bf4be431fab864cf7d4')
 
 prepare() {
   cd ${srcdir}/${_dirname}-${pkgver}