X-Original-To: alpine-aports@lists.alpinelinux.org Received: from mx7.valuehost.ru (mx7.valuehost.ru [217.112.42.214]) by lists.alpinelinux.org (Postfix) with ESMTP id D4EB4F84CE8 for ; Wed, 13 Mar 2019 10:42:19 +0000 (UTC) Received: from mx7.valuehost.ru (unknown [127.0.0.255]) by mx7.valuehost.ru (Postfix) with ESMTP id 2BA254FF89 for ; Wed, 13 Mar 2019 13:42:16 +0300 (MSK) From: alpine-mips-patches Date: Wed, 13 Mar 2019 10:33:57 +0000 Subject: [alpine-aports] [PATCH] non-free/compcert: upgrade to 3.5 To: alpine-aports@lists.alpinelinux.org Message-Id: <20190313104216.2BA254FF89@mx7.valuehost.ru> X-Mailinglist: alpine-aports Precedence: list List-Id: Alpine Development List-Unsubscribe: List-Post: List-Help: List-Subscribe: --- non-free/compcert/APKBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/non-free/compcert/APKBUILD b/non-free/compcert/APKBUILD index 412ae6c5eb..13faf6a3b0 100644 --- a/non-free/compcert/APKBUILD +++ b/non-free/compcert/APKBUILD @@ -2,7 +2,7 @@ # Maintainer: alpine-mips-patches pkgname=compcert _pkgname=CompCert -pkgver=3.4 +pkgver=3.5 pkgrel=0 pkgdesc="The verified C compiler" url="https://compcert.inria.fr" @@ -49,5 +49,5 @@ package() { SHAREDIR="$pkgdir/usr/share/compcert" } -sha512sums="8b5c98e988c58a5896f4cd1923fe854db67e0adfdc9ac1bb337f8a09af7ec0ac94ddc4fb4626c8bc7d480035c7206805acd3f151886e193d0653b5768a373002 compcert-3.4.tgz +sha512sums="9c72aac0c72e7b9db68e34f469dbd02e4c7d88c54d8b001891e05ae5c5a1e4323be25bab7d53334943fec26e2b64d3a21972d38a589fc79cc8d4bf0185cec50b compcert-3.5.tgz 5bdafee9e97c81505853ee2c5263067f98fce937af9c5eac79f51b0998ab9694811761ab5a131cac27109b3e8c84d9cbe293f11b66afce6e4910d452ce648de8 fix-cprepro-options.patch" -- 2.21.0 --- Unsubscribe: alpine-aports+unsubscribe@lists.alpinelinux.org Help: alpine-aports+help@lists.alpinelinux.org ---