CVS commit: pkgsrc/devel

["Antoine Reilles" <tonio%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   tonio
Date:           Sat Oct  8 16:37:39 UTC 2022

Modified Files:
        pkgsrc/devel: Makefile

Log Message:
Adding devel/why3


To generate a diff of this commit:
cvs rdiff -u -r1.3807 -r1.3808 pkgsrc/devel/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/Makefile
diff -u pkgsrc/devel/Makefile:1.3807 pkgsrc/devel/Makefile:1.3808
--- pkgsrc/devel/Makefile:1.3807        Sat Oct  8 15:03:18 2022
+++ pkgsrc/devel/Makefile       Sat Oct  8 16:37:39 2022
@@ -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+=  wabt
 SUBDIR+=       waf
 SUBDIR+=       wayland
 SUBDIR+=       wayland-protocols
+SUBDIR+=       why3
 SUBDIR+=       woboq_codebrowser
 SUBDIR+=       xa65
 SUBDIR+=       xdelta