The following packages were found for maintainer: dholland@netbsd.org
Restricting search to CURRENT branch. (Show all branches)

devel/tradcpp Traditional (K&R-style) C preprocessor
lang/pict Concurrent language based on Milners pi calculus
meta-pkgs/bulk-large Meta-package for a standard largish limited bulk build
editors/emacs Meta-package for installing the preferred Emacs version
editors/emacs20 GNU editing macros (editor)
security/mozilla-rootcerts-openssl Wedge for installing and managing mozilla-rootcerts
emulators/sys161 System/161 MIPS emulator
math/z3 The Z3 theorem prover / SMT solver
meta-pkgs/bulk-small Meta-package for a standard short limited bulk build
x11/xview-config OpenLook Toolkit config files
lang/newsqueak Newsqueak: a language for communicating with mice
editors/emacs-nox11 Meta-package for installing the preferred Emacs version
lang/coq Theorem prover which extracts programs from proofs
math/py-z3 Efficient SMT solver library
meta-pkgs/bulk-medium Meta-package for a standard medium-sized limited bulk build