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

meta-pkgs/bulk-small Meta-package for a standard short limited bulk build
meta-pkgs/bulk-medium Meta-package for a standard medium-sized limited bulk build
devel/tradcpp Traditional (K&R-style) C preprocessor
editors/emacs20 GNU editing macros (editor)
editors/emacs Meta-package for installing the preferred Emacs version
x11/xview-config OpenLook Toolkit config files
emulators/sys161 System/161 MIPS emulator
meta-pkgs/bulk-large Meta-package for a standard largish limited bulk build
math/z3 The Z3 theorem prover / SMT solver
math/py-z3 Python bindings for the Z3 theorem prover / SMT solver
editors/emacs-nox11 Meta-package for installing the preferred Emacs version
lang/ghc-bootstrap Bootstrap kit generator for the GHC Haskell compiler
security/mozilla-rootcerts-openssl Wedge for installing and managing mozilla-rootcerts
devel/py-tabular Tabular data tools for Python
lang/newsqueak Newsqueak: a language for communicating with mice
lang/pict Concurrent language based on Milners pi calculus