Subject: CVS commit: pkgsrc/devel/frama-c
From: Thomas Klausner
Date: 2022-11-15 14:02:42
Message id: 20221115130242.690ECFA90@cvs.NetBSD.org

Log Message:
frama-c: fix unportable test(1) operator

Files:
RevisionActionfile
1.13modifypkgsrc/devel/frama-c/distinfo
1.1addpkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh