Subject: CVS commit: pkgsrc/devel/frama-c
From: Thomas Klausner
Date: 2025-03-23 23:08:53
Message id: 20250323220853.C6251FBE1@cvs.NetBSD.org
Log Message:
frama-c: mark as broken by why3 update
Files:
RevisionActionfile
1.125modifypkgsrc/devel/frama-c/Makefile