Subject: CVS commit: pkgsrc/devel/why3
From: Thomas Klausner
Date: 2022-10-12 12:22:30
Message id: 20221012102230.3441BFA90@cvs.NetBSD.org
Log Message:
why3: add missing ocaml-num dependency

still fails with PLIST issues
Files:
RevisionActionfile
1.3modifypkgsrc/devel/why3/Makefile