update compcert to 3.17

2026-06-17 23:13:55 +02:00 · 2026-02-14 14:21:23 +00:00
parent 530c50d4b8
commit c4d5537275
2 changed files with 3 additions and 3 deletions
@@ -7,7 +7,7 @@ ONLY_FOR_ARCHS =	amd64

 COMMENT =		high assurance C compiler

-V =			3.16
+V =			3.17
 GH_ACCOUNT =		AbsInt
 GH_PROJECT =		CompCert
 GH_TAGNAME =		v${V}
@@ -1,2 +1,2 @@
-SHA256 (CompCert-3.16.tar.gz) = eOvSngx9N87eeFhQEAci8d4hRkBZxe2hSpksgoxLfVk=
-SIZE (CompCert-3.16.tar.gz) = 1909885
+SHA256 (CompCert-3.17.tar.gz) = ZxQlaVyS1sOkTZ8IM6gDqfprkZlnWgsQ39wTGg4qv/o=
+SIZE (CompCert-3.17.tar.gz) = 1909667