Subject: CVS commit: pkgsrc/devel/why3
From: Antoine Reilles
Date: 2022-10-09 08:46:57
Message id: 20221009064657.EA23DFA90@cvs.NetBSD.org

Log Message:
Update devel/why3 to 1.5.1nb1

Make sure to install the library properly
This is necessary for frama-c to bind properly

Files:
RevisionActionfile
1.2modifypkgsrc/devel/why3/Makefile
1.2modifypkgsrc/devel/why3/PLIST