CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2025/07/17 23:28:02
Modified files:
devel/cbmc : Makefile distinfo
devel/cbmc/patches: patch-src_common
devel/cbmc/pkg : PLIST
Removed files:
devel/cbmc/patches: patch-src_ansi-c_Makefile
patch-src_big-int_allocainc_h
patch-src_jsil_Makefile
patch-src_json_Makefile
patch-src_memory-models_Makefile
patch-src_xmllang_Makefile
Log message:
Update cbmc to 6.7.1
The motivation was to fix the build with upcoming libc++19. Looks like upstream
fixed it by: ttps://github.com/diffblue/cbmc/pull/5277
Tweaks, feedback and test from Yozo TODA, thanks!
Maintainer timeout
