diff options
| author | Xuanrui Qi | 2022-12-17 03:29:48 +0900 |
|---|---|---|
| committer | Xuanrui Qi | 2022-12-17 03:29:48 +0900 |
| commit | a943a2e5eb7eed807861a5a2fe8fee67bc1b100d (patch) | |
| tree | d5867e2570194dda90114baccb7a3090f986303b /PKGBUILD | |
| parent | 52a852ddddaea1b0f16607096e44cec5988c9030 (diff) | |
| download | aur-a943a2e5eb7eed807861a5a2fe8fee67bc1b100d.tar.gz | |
Release 3.12
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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} |