diff options
| author | tonio <tonio@pkgsrc.org> | 2022-10-08 16:37:39 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2022-10-08 16:37:39 +0000 |
| commit | 1e6bbd9786875bf396fbd8b122b2db944701fb79 (patch) | |
| tree | 1a6111e5414f446f1f059f2a39377c16b8077b33 /devel | |
| parent | 944af5f771f0648cf360646abeaa4a9cee330856 (diff) | |
| download | pkgsrc-1e6bbd9786875bf396fbd8b122b2db944701fb79.tar.gz | |
Adding devel/why3
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/Makefile b/devel/Makefile index fb40311a7f2..a4ef553a043 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -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 |