update to CompCert 3.13.1

2023-09-17 03:45:05 +00:00 · 2023-09-17 03:45:05 +00:00 · e195221ee8
parent 9a3bb0a60a
commit e195221ee8
2 changed files with 3 additions and 3 deletions
--- a/lang/compcert/Makefile
+++ b/lang/compcert/Makefile
@ -2,7 +2,7 @@ ONLY_FOR_ARCHS =	aarch64 amd64 i386 powerpc

 COMMENT =		high assurance C compiler

-V =			3.13
+V =			3.13.1
 GH_ACCOUNT =		AbsInt
 GH_PROJECT =		CompCert
 GH_TAGNAME =		v${V}
--- a/lang/compcert/distinfo
+++ b/lang/compcert/distinfo
@ -1,2 +1,2 @@
-SHA256 (CompCert-3.13.tar.gz) = 66e4Fo9NhS2qsFfvpa7bXH3Lz6cRWhEiF1Mz5ZG3du8=
-SIZE (CompCert-3.13.tar.gz) = 2798343
+SHA256 (CompCert-3.13.1.tar.gz) = xDFLNYliJAvz4BSwyvP372IKG5oa9qu8Y5pxgcOJWyA=
+SIZE (CompCert-3.13.1.tar.gz) = 2798512