Subject: CVS commit: pkgsrc/devel/why3
From: Antoine Reilles
Date: 2022-10-16 12:51:45
Message id: 20221016105145.A7876FA90@cvs.NetBSD.org

Log Message:
Add missing dependency ocamlgraph

Files:
RevisionActionfile
1.5modifypkgsrc/devel/why3/Makefile