[pkgsrc/trunk]: pkgsrc/devel Adding devel/why3

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/68225f9cd84e
branches:  trunk
changeset: 386432:68225f9cd84e
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sat Oct 08 16:37:39 2022 +0000

description:
Adding devel/why3

diffstat:

 devel/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 176c768e87a7 -r 68225f9cd84e devel/Makefile
--- a/devel/Makefile    Sat Oct 08 16:36:47 2022 +0000
+++ b/devel/Makefile    Sat Oct 08 16:37:39 2022 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.3807 2022/10/08 15:03:18 tonio Exp $
+# $NetBSD: Makefile,v 1.3808 2022/10/08 16:37:39 tonio Exp $
 #
 
 COMMENT=       Development utilities
@@ -3382,6 +3382,7 @@
 SUBDIR+=       waf
 SUBDIR+=       wayland
 SUBDIR+=       wayland-protocols
+SUBDIR+=       why3
 SUBDIR+=       woboq_codebrowser
 SUBDIR+=       xa65
 SUBDIR+=       xdelta