The following packages were found for maintainer: dholland@netbsd.org
lang/coq [CURRENT] Theorem prover which extracts programs from proofs
meta-pkgs/bulk-large [CURRENT] Meta-package for a standard largish limited bulk build
lang/pict [CURRENT] Concurrent language based on Milners pi calculus
devel/tradcpp [CURRENT] Traditional (K&R-style) C preprocessor
math/py-z3 [CURRENT] Efficient SMT solver library
meta-pkgs/bulk-medium [CURRENT] Meta-package for a standard medium-sized limited bulk build
editors/emacs-nox11 [CURRENT] Meta-package for installing the preferred Emacs version
editors/emacs20 [CURRENT] GNU editing macros (editor)
security/mozilla-rootcerts-openssl [CURRENT] Wedge for installing and managing mozilla-rootcerts
emulators/sys161 [CURRENT] System/161 MIPS emulator
math/z3 [CURRENT] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-small [CURRENT] Meta-package for a standard short limited bulk build
x11/xview-config [CURRENT] OpenLook Toolkit config files
lang/newsqueak [CURRENT] Newsqueak: a language for communicating with mice
editors/emacs [CURRENT] Meta-package for installing the preferred Emacs version
lang/pict [pkgsrc-2009Q4] Concurrent language based on Milners pi calculus
lang/pict [pkgsrc-2010Q1] Concurrent language based on Milners pi calculus
lang/pict [pkgsrc-2010Q2] Concurrent language based on Milners pi calculus
lang/pict [pkgsrc-2010Q3] Concurrent language based on Milners pi calculus
lang/pict [pkgsrc-2010Q4] Concurrent language based on Milners pi calculus
lang/pict [pkgsrc-2011Q1] Concurrent language based on Milners pi calculus
lang/pict [pkgsrc-2011Q2] Concurrent language based on Milners pi calculus
lang/pict [pkgsrc-2011Q3] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2011Q3] OpenLook Toolkit config files
editors/emacs20 [pkgsrc-2011Q3] GNU editing macros (editor)
lang/pict [pkgsrc-2011Q4] Concurrent language based on Milners pi calculus
editors/emacs20 [pkgsrc-2011Q4] GNU editing macros (editor)
x11/xview-config [pkgsrc-2011Q4] OpenLook Toolkit config files
editors/emacs20 [pkgsrc-2012Q1] GNU editing macros (editor)
lang/pict [pkgsrc-2012Q1] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2012Q1] OpenLook Toolkit config files
x11/xview-config [pkgsrc-2012Q2] OpenLook Toolkit config files
lang/pict [pkgsrc-2012Q2] Concurrent language based on Milners pi calculus
editors/emacs20 [pkgsrc-2012Q2] GNU editing macros (editor)
editors/emacs20 [pkgsrc-2012Q3] GNU editing macros (editor)
lang/pict [pkgsrc-2012Q3] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2012Q3] OpenLook Toolkit config files
x11/xview-config [pkgsrc-2012Q4] OpenLook Toolkit config files
lang/pict [pkgsrc-2012Q4] Concurrent language based on Milners pi calculus
editors/emacs20 [pkgsrc-2012Q4] GNU editing macros (editor)
x11/xview-config [pkgsrc-2013Q1] OpenLook Toolkit config files
meta-pkgs/bulk-medium [pkgsrc-2013Q1] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-large [pkgsrc-2013Q1] Meta-package for a standard largish limited bulk build
editors/emacs-nox11 [pkgsrc-2013Q1] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2013Q1] Meta-package for installing the preferred Emacs version
editors/emacs20 [pkgsrc-2013Q1] GNU editing macros (editor)
lang/pict [pkgsrc-2013Q1] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-small [pkgsrc-2013Q1] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2013Q2] Meta-package for a standard medium-sized limited bulk build
devel/tradcpp [pkgsrc-2013Q2] Traditional (K&R-style) C preprocessor
devel/py-tabular [pkgsrc-2013Q2] Tabular data tools for Python
lang/pict [pkgsrc-2013Q2] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-small [pkgsrc-2013Q2] Meta-package for a standard short limited bulk build
editors/emacs-nox11 [pkgsrc-2013Q2] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2013Q2] OpenLook Toolkit config files
editors/emacs20 [pkgsrc-2013Q2] GNU editing macros (editor)
editors/emacs [pkgsrc-2013Q2] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-large [pkgsrc-2013Q2] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2013Q3] Meta-package for a standard medium-sized limited bulk build
editors/emacs20 [pkgsrc-2013Q3] GNU editing macros (editor)
lang/pict [pkgsrc-2013Q3] Concurrent language based on Milners pi calculus
devel/tradcpp [pkgsrc-2013Q3] Traditional (K&R-style) C preprocessor
editors/emacs-nox11 [pkgsrc-2013Q3] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2013Q3] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2013Q3] OpenLook Toolkit config files
devel/py-tabular [pkgsrc-2013Q3] Tabular data tools for Python
meta-pkgs/bulk-small [pkgsrc-2013Q3] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-large [pkgsrc-2013Q3] Meta-package for a standard largish limited bulk build
lang/ghc-bootstrap [pkgsrc-2013Q4] Bootstrap kit generator for the GHC Haskell compiler
devel/tradcpp [pkgsrc-2013Q4] Traditional (K&R-style) C preprocessor
editors/emacs20 [pkgsrc-2013Q4] GNU editing macros (editor)
meta-pkgs/bulk-large [pkgsrc-2013Q4] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2013Q4] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-small [pkgsrc-2013Q4] Meta-package for a standard short limited bulk build
editors/emacs-nox11 [pkgsrc-2013Q4] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2013Q4] OpenLook Toolkit config files
editors/emacs [pkgsrc-2013Q4] Meta-package for installing the preferred Emacs version
devel/py-tabular [pkgsrc-2013Q4] Tabular data tools for Python
lang/pict [pkgsrc-2013Q4] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-large [pkgsrc-2014Q1] Meta-package for a standard largish limited bulk build
lang/pict [pkgsrc-2014Q1] Concurrent language based on Milners pi calculus
lang/ghc-bootstrap [pkgsrc-2014Q1] Bootstrap kit generator for the GHC Haskell compiler
meta-pkgs/bulk-medium [pkgsrc-2014Q1] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-small [pkgsrc-2014Q1] Meta-package for a standard short limited bulk build
x11/xview-config [pkgsrc-2014Q1] OpenLook Toolkit config files
editors/emacs20 [pkgsrc-2014Q1] GNU editing macros (editor)
emulators/sys161 [pkgsrc-2014Q1] System/161 MIPS emulator
devel/tradcpp [pkgsrc-2014Q1] Traditional (K&R-style) C preprocessor
devel/py-tabular [pkgsrc-2014Q1] Tabular data tools for Python
editors/emacs [pkgsrc-2014Q1] Meta-package for installing the preferred Emacs version
editors/emacs-nox11 [pkgsrc-2014Q1] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2014Q2] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-medium [pkgsrc-2014Q2] Meta-package for a standard medium-sized limited bulk build
emulators/sys161 [pkgsrc-2014Q2] System/161 MIPS emulator
devel/py-tabular [pkgsrc-2014Q2] Tabular data tools for Python
editors/emacs-nox11 [pkgsrc-2014Q2] Meta-package for installing the preferred Emacs version
lang/pict [pkgsrc-2014Q2] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2014Q2] OpenLook Toolkit config files
lang/ghc-bootstrap [pkgsrc-2014Q2] Bootstrap kit generator for the GHC Haskell compiler
devel/tradcpp [pkgsrc-2014Q2] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-large [pkgsrc-2014Q2] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-small [pkgsrc-2014Q2] Meta-package for a standard short limited bulk build
editors/emacs20 [pkgsrc-2014Q2] GNU editing macros (editor)
editors/emacs [pkgsrc-2014Q3] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-medium [pkgsrc-2014Q3] Meta-package for a standard medium-sized limited bulk build
devel/py-tabular [pkgsrc-2014Q3] Tabular data tools for Python
lang/ghc-bootstrap [pkgsrc-2014Q3] Bootstrap kit generator for the GHC Haskell compiler
devel/tradcpp [pkgsrc-2014Q3] Traditional (K&R-style) C preprocessor
lang/pict [pkgsrc-2014Q3] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2014Q3] OpenLook Toolkit config files
editors/emacs-nox11 [pkgsrc-2014Q3] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-large [pkgsrc-2014Q3] Meta-package for a standard largish limited bulk build
emulators/sys161 [pkgsrc-2014Q3] System/161 MIPS emulator
meta-pkgs/bulk-small [pkgsrc-2014Q3] Meta-package for a standard short limited bulk build
editors/emacs20 [pkgsrc-2014Q3] GNU editing macros (editor)
emulators/sys161 [pkgsrc-2014Q4] System/161 MIPS emulator
meta-pkgs/bulk-large [pkgsrc-2014Q4] Meta-package for a standard largish limited bulk build
devel/py-tabular [pkgsrc-2014Q4] Tabular data tools for Python
editors/emacs-nox11 [pkgsrc-2014Q4] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2014Q4] Meta-package for installing the preferred Emacs version
lang/pict [pkgsrc-2014Q4] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2014Q4] OpenLook Toolkit config files
meta-pkgs/bulk-medium [pkgsrc-2014Q4] Meta-package for a standard medium-sized limited bulk build
lang/ghc-bootstrap [pkgsrc-2014Q4] Bootstrap kit generator for the GHC Haskell compiler
editors/emacs20 [pkgsrc-2014Q4] GNU editing macros (editor)
devel/tradcpp [pkgsrc-2014Q4] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-small [pkgsrc-2014Q4] Meta-package for a standard short limited bulk build
editors/emacs20 [pkgsrc-2015Q1] GNU editing macros (editor)
editors/emacs [pkgsrc-2015Q1] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2015Q1] System/161 MIPS emulator
meta-pkgs/bulk-large [pkgsrc-2015Q1] Meta-package for a standard largish limited bulk build
lang/pict [pkgsrc-2015Q1] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-small [pkgsrc-2015Q1] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2015Q1] Meta-package for a standard medium-sized limited bulk build
devel/py-tabular [pkgsrc-2015Q1] Tabular data tools for Python
lang/ghc-bootstrap [pkgsrc-2015Q1] Bootstrap kit generator for the GHC Haskell compiler
devel/tradcpp [pkgsrc-2015Q1] Traditional (K&R-style) C preprocessor
x11/xview-config [pkgsrc-2015Q1] OpenLook Toolkit config files
editors/emacs-nox11 [pkgsrc-2015Q1] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-large [pkgsrc-2015Q2] Meta-package for a standard largish limited bulk build
x11/xview-config [pkgsrc-2015Q2] OpenLook Toolkit config files
meta-pkgs/bulk-medium [pkgsrc-2015Q2] Meta-package for a standard medium-sized limited bulk build
lang/newsqueak [pkgsrc-2015Q2] Newsqueak: a language for communicating with mice
lang/pict [pkgsrc-2015Q2] Concurrent language based on Milners pi calculus
security/mozilla-rootcerts-openssl [pkgsrc-2015Q2] Wedge for installing and managing mozilla-rootcerts
devel/tradcpp [pkgsrc-2015Q2] Traditional (K&R-style) C preprocessor
devel/py-tabular [pkgsrc-2015Q2] Tabular data tools for Python
emulators/sys161 [pkgsrc-2015Q2] System/161 MIPS emulator
meta-pkgs/bulk-small [pkgsrc-2015Q2] Meta-package for a standard short limited bulk build
lang/ghc-bootstrap [pkgsrc-2015Q2] Bootstrap kit generator for the GHC Haskell compiler
editors/emacs20 [pkgsrc-2015Q2] GNU editing macros (editor)
editors/emacs [pkgsrc-2015Q2] Meta-package for installing the preferred Emacs version
editors/emacs-nox11 [pkgsrc-2015Q2] Meta-package for installing the preferred Emacs version
mail/ja-mh/pkgsrc/devel/tradcpp [pkgsrc-2015Q3] Traditional (K&R-style) C preprocessor
mail/ja-mh/pkgsrc/devel/py-tabular [pkgsrc-2015Q3] Tabular data tools for Python
mail/ja-mh/pkgsrc/x11/xview-config [pkgsrc-2015Q3] OpenLook Toolkit config files
mail/ja-mh/pkgsrc/editors/emacs20 [pkgsrc-2015Q3] GNU editing macros (editor)
emulators/sys161 [pkgsrc-2015Q3] System/161 MIPS emulator
mail/ja-mh/pkgsrc/emulators/sys161 [pkgsrc-2015Q3] System/161 MIPS emulator
mail/ja-mh/pkgsrc/meta-pkgs/bulk-medium [pkgsrc-2015Q3] Meta-package for a standard medium-sized limited bulk build
mail/ja-mh/pkgsrc/meta-pkgs/bulk-large [pkgsrc-2015Q3] Meta-package for a standard largish limited bulk build
mail/ja-mh/pkgsrc/meta-pkgs/bulk-small [pkgsrc-2015Q3] Meta-package for a standard short limited bulk build
mail/ja-mh/pkgsrc/security/mozilla-rootcerts-openssl [pkgsrc-2015Q3] Wedge for installing and managing mozilla-rootcerts
devel/tradcpp [pkgsrc-2015Q3] Traditional (K&R-style) C preprocessor
x11/xview-config [pkgsrc-2015Q3] OpenLook Toolkit config files
editors/emacs [pkgsrc-2015Q3] Meta-package for installing the preferred Emacs version
editors/emacs20 [pkgsrc-2015Q3] GNU editing macros (editor)
editors/emacs-nox11 [pkgsrc-2015Q3] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-medium [pkgsrc-2015Q3] Meta-package for a standard medium-sized limited bulk build
mail/ja-mh/pkgsrc/editors/emacs-nox11 [pkgsrc-2015Q3] Meta-package for installing the preferred Emacs version
devel/py-tabular [pkgsrc-2015Q3] Tabular data tools for Python
lang/newsqueak [pkgsrc-2015Q3] Newsqueak: a language for communicating with mice
lang/pict [pkgsrc-2015Q3] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-large [pkgsrc-2015Q3] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-small [pkgsrc-2015Q3] Meta-package for a standard short limited bulk build
security/mozilla-rootcerts-openssl [pkgsrc-2015Q3] Wedge for installing and managing mozilla-rootcerts
mail/ja-mh/pkgsrc/editors/emacs [pkgsrc-2015Q3] Meta-package for installing the preferred Emacs version
mail/ja-mh/pkgsrc/lang/ghc-bootstrap [pkgsrc-2015Q3] Bootstrap kit generator for the GHC Haskell compiler
lang/ghc-bootstrap [pkgsrc-2015Q3] Bootstrap kit generator for the GHC Haskell compiler
mail/ja-mh/pkgsrc/lang/newsqueak [pkgsrc-2015Q3] Newsqueak: a language for communicating with mice
mail/ja-mh/pkgsrc/lang/pict [pkgsrc-2015Q3] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-large [pkgsrc-2015Q4] Meta-package for a standard largish limited bulk build
lang/newsqueak [pkgsrc-2015Q4] Newsqueak: a language for communicating with mice
lang/pict [pkgsrc-2015Q4] Concurrent language based on Milners pi calculus
lang/ghc-bootstrap [pkgsrc-2015Q4] Bootstrap kit generator for the GHC Haskell compiler
x11/xview-config [pkgsrc-2015Q4] OpenLook Toolkit config files
security/mozilla-rootcerts-openssl [pkgsrc-2015Q4] Wedge for installing and managing mozilla-rootcerts
devel/py-tabular [pkgsrc-2015Q4] Tabular data tools for Python
editors/emacs [pkgsrc-2015Q4] Meta-package for installing the preferred Emacs version
devel/tradcpp [pkgsrc-2015Q4] Traditional (K&R-style) C preprocessor
editors/emacs-nox11 [pkgsrc-2015Q4] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2015Q4] System/161 MIPS emulator
meta-pkgs/bulk-medium [pkgsrc-2015Q4] Meta-package for a standard medium-sized limited bulk build
math/z3 [pkgsrc-2015Q4] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-small [pkgsrc-2015Q4] Meta-package for a standard short limited bulk build
editors/emacs20 [pkgsrc-2015Q4] GNU editing macros (editor)
lang/ghc-bootstrap [pkgsrc-2016Q1] Bootstrap kit generator for the GHC Haskell compiler
meta-pkgs/bulk-small [pkgsrc-2016Q1] Meta-package for a standard short limited bulk build
x11/xview-config [pkgsrc-2016Q1] OpenLook Toolkit config files
devel/tradcpp [pkgsrc-2016Q1] Traditional (K&R-style) C preprocessor
editors/emacs20 [pkgsrc-2016Q1] GNU editing macros (editor)
lang/newsqueak [pkgsrc-2016Q1] Newsqueak: a language for communicating with mice
meta-pkgs/bulk-medium [pkgsrc-2016Q1] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-large [pkgsrc-2016Q1] Meta-package for a standard largish limited bulk build
editors/emacs-nox11 [pkgsrc-2016Q1] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2016Q1] System/161 MIPS emulator
security/mozilla-rootcerts-openssl [pkgsrc-2016Q1] Wedge for installing and managing mozilla-rootcerts
devel/py-tabular [pkgsrc-2016Q1] Tabular data tools for Python
lang/pict [pkgsrc-2016Q1] Concurrent language based on Milners pi calculus
math/z3 [pkgsrc-2016Q1] The Z3 theorem prover / SMT solver
editors/emacs [pkgsrc-2016Q1] Meta-package for installing the preferred Emacs version
lang/ghc-bootstrap [pkgsrc-2016Q2] Bootstrap kit generator for the GHC Haskell compiler
math/z3 [pkgsrc-2016Q2] The Z3 theorem prover / SMT solver
emulators/sys161 [pkgsrc-2016Q2] System/161 MIPS emulator
meta-pkgs/bulk-small [pkgsrc-2016Q2] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-large [pkgsrc-2016Q2] Meta-package for a standard largish limited bulk build
devel/tradcpp [pkgsrc-2016Q2] Traditional (K&R-style) C preprocessor
lang/pict [pkgsrc-2016Q2] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-medium [pkgsrc-2016Q2] Meta-package for a standard medium-sized limited bulk build
editors/emacs-nox11 [pkgsrc-2016Q2] Meta-package for installing the preferred Emacs version
editors/emacs20 [pkgsrc-2016Q2] GNU editing macros (editor)
devel/py-tabular [pkgsrc-2016Q2] Tabular data tools for Python
security/mozilla-rootcerts-openssl [pkgsrc-2016Q2] Wedge for installing and managing mozilla-rootcerts
lang/newsqueak [pkgsrc-2016Q2] Newsqueak: a language for communicating with mice
x11/xview-config [pkgsrc-2016Q2] OpenLook Toolkit config files
editors/emacs [pkgsrc-2016Q2] Meta-package for installing the preferred Emacs version
lang/newsqueak [pkgsrc-2016Q3] Newsqueak: a language for communicating with mice
security/mozilla-rootcerts-openssl [pkgsrc-2016Q3] Wedge for installing and managing mozilla-rootcerts
meta-pkgs/bulk-large [pkgsrc-2016Q3] Meta-package for a standard largish limited bulk build
editors/emacs [pkgsrc-2016Q3] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-medium [pkgsrc-2016Q3] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-small [pkgsrc-2016Q3] Meta-package for a standard short limited bulk build
editors/emacs-nox11 [pkgsrc-2016Q3] Meta-package for installing the preferred Emacs version
lang/ghc-bootstrap [pkgsrc-2016Q3] Bootstrap kit generator for the GHC Haskell compiler
emulators/sys161 [pkgsrc-2016Q3] System/161 MIPS emulator
x11/xview-config [pkgsrc-2016Q3] OpenLook Toolkit config files
lang/pict [pkgsrc-2016Q3] Concurrent language based on Milners pi calculus
editors/emacs20 [pkgsrc-2016Q3] GNU editing macros (editor)
math/z3 [pkgsrc-2016Q3] The Z3 theorem prover / SMT solver
devel/tradcpp [pkgsrc-2016Q3] Traditional (K&R-style) C preprocessor
devel/py-tabular [pkgsrc-2016Q3] Tabular data tools for Python
meta-pkgs/bulk-large [pkgsrc-2016Q4] Meta-package for a standard largish limited bulk build
math/z3 [pkgsrc-2016Q4] The Z3 theorem prover / SMT solver
emulators/sys161 [pkgsrc-2016Q4] System/161 MIPS emulator
lang/ghc-bootstrap [pkgsrc-2016Q4] Bootstrap kit generator for the GHC Haskell compiler
meta-pkgs/bulk-medium [pkgsrc-2016Q4] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-small [pkgsrc-2016Q4] Meta-package for a standard short limited bulk build
security/mozilla-rootcerts-openssl [pkgsrc-2016Q4] Wedge for installing and managing mozilla-rootcerts
lang/pict [pkgsrc-2016Q4] Concurrent language based on Milners pi calculus
lang/newsqueak [pkgsrc-2016Q4] Newsqueak: a language for communicating with mice
editors/emacs-nox11 [pkgsrc-2016Q4] Meta-package for installing the preferred Emacs version
devel/py-tabular [pkgsrc-2016Q4] Tabular data tools for Python
devel/tradcpp [pkgsrc-2016Q4] Traditional (K&R-style) C preprocessor
editors/emacs [pkgsrc-2016Q4] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2016Q4] OpenLook Toolkit config files
editors/emacs20 [pkgsrc-2016Q4] GNU editing macros (editor)
lang/pict [pkgsrc-2017Q1] Concurrent language based on Milners pi calculus
lang/newsqueak [pkgsrc-2017Q1] Newsqueak: a language for communicating with mice
lang/ghc-bootstrap [pkgsrc-2017Q1] Bootstrap kit generator for the GHC Haskell compiler
security/mozilla-rootcerts-openssl [pkgsrc-2017Q1] Wedge for installing and managing mozilla-rootcerts
editors/emacs20 [pkgsrc-2017Q1] GNU editing macros (editor)
editors/emacs [pkgsrc-2017Q1] Meta-package for installing the preferred Emacs version
editors/emacs-nox11 [pkgsrc-2017Q1] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-small [pkgsrc-2017Q1] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2017Q1] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-large [pkgsrc-2017Q1] Meta-package for a standard largish limited bulk build
x11/xview-config [pkgsrc-2017Q1] OpenLook Toolkit config files
devel/py-tabular [pkgsrc-2017Q1] Tabular data tools for Python
emulators/sys161 [pkgsrc-2017Q1] System/161 MIPS emulator
math/z3 [pkgsrc-2017Q1] The Z3 theorem prover / SMT solver
devel/tradcpp [pkgsrc-2017Q1] Traditional (K&R-style) C preprocessor
lang/ghc-bootstrap [pkgsrc-2017Q2] Bootstrap kit generator for the GHC Haskell compiler
emulators/sys161 [pkgsrc-2017Q2] System/161 MIPS emulator
meta-pkgs/bulk-medium [pkgsrc-2017Q2] Meta-package for a standard medium-sized limited bulk build
editors/emacs [pkgsrc-2017Q2] Meta-package for installing the preferred Emacs version
math/z3 [pkgsrc-2017Q2] The Z3 theorem prover / SMT solver
editors/emacs-nox11 [pkgsrc-2017Q2] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2017Q2] OpenLook Toolkit config files
lang/newsqueak [pkgsrc-2017Q2] Newsqueak: a language for communicating with mice
lang/pict [pkgsrc-2017Q2] Concurrent language based on Milners pi calculus
editors/emacs20 [pkgsrc-2017Q2] GNU editing macros (editor)
devel/tradcpp [pkgsrc-2017Q2] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-small [pkgsrc-2017Q2] Meta-package for a standard short limited bulk build
security/mozilla-rootcerts-openssl [pkgsrc-2017Q2] Wedge for installing and managing mozilla-rootcerts
meta-pkgs/bulk-large [pkgsrc-2017Q2] Meta-package for a standard largish limited bulk build
devel/py-tabular [pkgsrc-2017Q2] Tabular data tools for Python
lang/pict [pkgsrc-2017Q3] Concurrent language based on Milners pi calculus
lang/ghc-bootstrap [pkgsrc-2017Q3] Bootstrap kit generator for the GHC Haskell compiler
devel/tradcpp [pkgsrc-2017Q3] Traditional (K&R-style) C preprocessor
devel/py-tabular [pkgsrc-2017Q3] Tabular data tools for Python
lang/newsqueak [pkgsrc-2017Q3] Newsqueak: a language for communicating with mice
editors/emacs-nox11 [pkgsrc-2017Q3] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2017Q3] System/161 MIPS emulator
editors/emacs [pkgsrc-2017Q3] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2017Q3] OpenLook Toolkit config files
security/mozilla-rootcerts-openssl [pkgsrc-2017Q3] Wedge for installing and managing mozilla-rootcerts
editors/emacs20 [pkgsrc-2017Q3] GNU editing macros (editor)
math/z3 [pkgsrc-2017Q3] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-medium [pkgsrc-2017Q3] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-large [pkgsrc-2017Q3] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-small [pkgsrc-2017Q3] Meta-package for a standard short limited bulk build
lang/pict [pkgsrc-2017Q4] Concurrent language based on Milners pi calculus
editors/emacs [pkgsrc-2017Q4] Meta-package for installing the preferred Emacs version
math/z3 [pkgsrc-2017Q4] The Z3 theorem prover / SMT solver
editors/emacs20 [pkgsrc-2017Q4] GNU editing macros (editor)
x11/xview-config [pkgsrc-2017Q4] OpenLook Toolkit config files
meta-pkgs/bulk-small [pkgsrc-2017Q4] Meta-package for a standard short limited bulk build
emulators/sys161 [pkgsrc-2017Q4] System/161 MIPS emulator
editors/emacs-nox11 [pkgsrc-2017Q4] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-medium [pkgsrc-2017Q4] Meta-package for a standard medium-sized limited bulk build
lang/ghc-bootstrap [pkgsrc-2017Q4] Bootstrap kit generator for the GHC Haskell compiler
devel/py-tabular [pkgsrc-2017Q4] Tabular data tools for Python
devel/tradcpp [pkgsrc-2017Q4] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-large [pkgsrc-2017Q4] Meta-package for a standard largish limited bulk build
security/mozilla-rootcerts-openssl [pkgsrc-2017Q4] Wedge for installing and managing mozilla-rootcerts
lang/newsqueak [pkgsrc-2017Q4] Newsqueak: a language for communicating with mice
lang/pict [pkgsrc-2018Q1] Concurrent language based on Milners pi calculus
editors/emacs-nox11 [pkgsrc-2018Q1] Meta-package for installing the preferred Emacs version
math/z3 [pkgsrc-2018Q1] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-small [pkgsrc-2018Q1] Meta-package for a standard short limited bulk build
editors/emacs [pkgsrc-2018Q1] Meta-package for installing the preferred Emacs version
math/py-z3 [pkgsrc-2018Q1] Python bindings for the Z3 theorem prover / SMT solver
security/mozilla-rootcerts-openssl [pkgsrc-2018Q1] Wedge for installing and managing mozilla-rootcerts
devel/tradcpp [pkgsrc-2018Q1] Traditional (K&R-style) C preprocessor
editors/emacs20 [pkgsrc-2018Q1] GNU editing macros (editor)
devel/py-tabular [pkgsrc-2018Q1] Tabular data tools for Python
meta-pkgs/bulk-large [pkgsrc-2018Q1] Meta-package for a standard largish limited bulk build
x11/xview-config [pkgsrc-2018Q1] OpenLook Toolkit config files
meta-pkgs/bulk-medium [pkgsrc-2018Q1] Meta-package for a standard medium-sized limited bulk build
lang/newsqueak [pkgsrc-2018Q1] Newsqueak: a language for communicating with mice
lang/ghc-bootstrap [pkgsrc-2018Q1] Bootstrap kit generator for the GHC Haskell compiler
emulators/sys161 [pkgsrc-2018Q1] System/161 MIPS emulator
editors/emacs [pkgsrc-2018Q2] Meta-package for installing the preferred Emacs version
editors/emacs-nox11 [pkgsrc-2018Q2] Meta-package for installing the preferred Emacs version
math/z3 [pkgsrc-2018Q2] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-small [pkgsrc-2018Q2] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2018Q2] Meta-package for a standard medium-sized limited bulk build
devel/tradcpp [pkgsrc-2018Q2] Traditional (K&R-style) C preprocessor
lang/newsqueak [pkgsrc-2018Q2] Newsqueak: a language for communicating with mice
math/py-z3 [pkgsrc-2018Q2] Python bindings for the Z3 theorem prover / SMT solver
x11/xview-config [pkgsrc-2018Q2] OpenLook Toolkit config files
lang/pict [pkgsrc-2018Q2] Concurrent language based on Milners pi calculus
lang/ghc-bootstrap [pkgsrc-2018Q2] Bootstrap kit generator for the GHC Haskell compiler
emulators/sys161 [pkgsrc-2018Q2] System/161 MIPS emulator
devel/py-tabular [pkgsrc-2018Q2] Tabular data tools for Python
security/mozilla-rootcerts-openssl [pkgsrc-2018Q2] Wedge for installing and managing mozilla-rootcerts
meta-pkgs/bulk-large [pkgsrc-2018Q2] Meta-package for a standard largish limited bulk build
editors/emacs20 [pkgsrc-2018Q2] GNU editing macros (editor)
lang/ghc-bootstrap [pkgsrc-2018Q3] Bootstrap kit generator for the GHC Haskell compiler
editors/emacs-nox11 [pkgsrc-2018Q3] Meta-package for installing the preferred Emacs version
devel/py-tabular [pkgsrc-2018Q3] Tabular data tools for Python
meta-pkgs/bulk-medium [pkgsrc-2018Q3] Meta-package for a standard medium-sized limited bulk build
emulators/sys161 [pkgsrc-2018Q3] System/161 MIPS emulator
math/z3 [pkgsrc-2018Q3] The Z3 theorem prover / SMT solver
devel/tradcpp [pkgsrc-2018Q3] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-large [pkgsrc-2018Q3] Meta-package for a standard largish limited bulk build
math/py-z3 [pkgsrc-2018Q3] Python bindings for the Z3 theorem prover / SMT solver
lang/newsqueak [pkgsrc-2018Q3] Newsqueak: a language for communicating with mice
lang/pict [pkgsrc-2018Q3] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2018Q3] OpenLook Toolkit config files
meta-pkgs/bulk-small [pkgsrc-2018Q3] Meta-package for a standard short limited bulk build
security/mozilla-rootcerts-openssl [pkgsrc-2018Q3] Wedge for installing and managing mozilla-rootcerts
editors/emacs [pkgsrc-2018Q3] Meta-package for installing the preferred Emacs version
editors/emacs20 [pkgsrc-2018Q3] GNU editing macros (editor)
meta-pkgs/bulk-large [pkgsrc-2018Q4] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2018Q4] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-small [pkgsrc-2018Q4] Meta-package for a standard short limited bulk build
editors/emacs20 [pkgsrc-2018Q4] GNU editing macros (editor)
devel/tradcpp [pkgsrc-2018Q4] Traditional (K&R-style) C preprocessor
lang/pict [pkgsrc-2018Q4] Concurrent language based on Milners pi calculus
lang/ghc-bootstrap [pkgsrc-2018Q4] Bootstrap kit generator for the GHC Haskell compiler
math/py-z3 [pkgsrc-2018Q4] Python bindings for the Z3 theorem prover / SMT solver
security/mozilla-rootcerts-openssl [pkgsrc-2018Q4] Wedge for installing and managing mozilla-rootcerts
emulators/sys161 [pkgsrc-2018Q4] System/161 MIPS emulator
x11/xview-config [pkgsrc-2018Q4] OpenLook Toolkit config files
math/z3 [pkgsrc-2018Q4] The Z3 theorem prover / SMT solver
lang/newsqueak [pkgsrc-2018Q4] Newsqueak: a language for communicating with mice
devel/py-tabular [pkgsrc-2018Q4] Tabular data tools for Python
editors/emacs-nox11 [pkgsrc-2018Q4] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2018Q4] Meta-package for installing the preferred Emacs version
devel/tradcpp [pkgsrc-2019Q1] Traditional (K&R-style) C preprocessor
lang/ghc-bootstrap [pkgsrc-2019Q1] Bootstrap kit generator for the GHC Haskell compiler
meta-pkgs/bulk-small [pkgsrc-2019Q1] Meta-package for a standard short limited bulk build
editors/emacs [pkgsrc-2019Q1] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-large [pkgsrc-2019Q1] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2019Q1] Meta-package for a standard medium-sized limited bulk build
lang/pict [pkgsrc-2019Q1] Concurrent language based on Milners pi calculus
math/z3 [pkgsrc-2019Q1] The Z3 theorem prover / SMT solver
editors/emacs-nox11 [pkgsrc-2019Q1] Meta-package for installing the preferred Emacs version
devel/py-tabular [pkgsrc-2019Q1] Tabular data tools for Python
emulators/sys161 [pkgsrc-2019Q1] System/161 MIPS emulator
security/mozilla-rootcerts-openssl [pkgsrc-2019Q1] Wedge for installing and managing mozilla-rootcerts
editors/emacs20 [pkgsrc-2019Q1] GNU editing macros (editor)
lang/newsqueak [pkgsrc-2019Q1] Newsqueak: a language for communicating with mice
x11/xview-config [pkgsrc-2019Q1] OpenLook Toolkit config files
math/py-z3 [pkgsrc-2019Q1] Python bindings for the Z3 theorem prover / SMT solver
lang/pict [pkgsrc-2019Q2] Concurrent language based on Milners pi calculus
editors/emacs [pkgsrc-2019Q2] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2019Q2] OpenLook Toolkit config files
devel/tradcpp [pkgsrc-2019Q2] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-small [pkgsrc-2019Q2] Meta-package for a standard short limited bulk build
lang/ghc-bootstrap [pkgsrc-2019Q2] Bootstrap kit generator for the GHC Haskell compiler
math/z3 [pkgsrc-2019Q2] The Z3 theorem prover / SMT solver
editors/emacs20 [pkgsrc-2019Q2] GNU editing macros (editor)
meta-pkgs/bulk-large [pkgsrc-2019Q2] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2019Q2] Meta-package for a standard medium-sized limited bulk build
editors/emacs-nox11 [pkgsrc-2019Q2] Meta-package for installing the preferred Emacs version
lang/newsqueak [pkgsrc-2019Q2] Newsqueak: a language for communicating with mice
security/mozilla-rootcerts-openssl [pkgsrc-2019Q2] Wedge for installing and managing mozilla-rootcerts
emulators/sys161 [pkgsrc-2019Q2] System/161 MIPS emulator
math/py-z3 [pkgsrc-2019Q2] Python bindings for the Z3 theorem prover / SMT solver
devel/tradcpp [pkgsrc-2019Q3] Traditional (K&R-style) C preprocessor
x11/xview-config [pkgsrc-2019Q3] OpenLook Toolkit config files
lang/pict [pkgsrc-2019Q3] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-small [pkgsrc-2019Q3] Meta-package for a standard short limited bulk build
emulators/sys161 [pkgsrc-2019Q3] System/161 MIPS emulator
lang/ghc-bootstrap [pkgsrc-2019Q3] Bootstrap kit generator for the GHC Haskell compiler
lang/newsqueak [pkgsrc-2019Q3] Newsqueak: a language for communicating with mice
math/py-z3 [pkgsrc-2019Q3] Python bindings for the Z3 theorem prover / SMT solver
math/z3 [pkgsrc-2019Q3] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-medium [pkgsrc-2019Q3] Meta-package for a standard medium-sized limited bulk build
editors/emacs-nox11 [pkgsrc-2019Q3] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2019Q3] Meta-package for installing the preferred Emacs version
security/mozilla-rootcerts-openssl [pkgsrc-2019Q3] Wedge for installing and managing mozilla-rootcerts
editors/emacs20 [pkgsrc-2019Q3] GNU editing macros (editor)
meta-pkgs/bulk-large [pkgsrc-2019Q3] Meta-package for a standard largish limited bulk build
lang/newsqueak [pkgsrc-2019Q4] Newsqueak: a language for communicating with mice
math/z3 [pkgsrc-2019Q4] The Z3 theorem prover / SMT solver
math/py-z3 [pkgsrc-2019Q4] Python bindings for the Z3 theorem prover / SMT solver
meta-pkgs/bulk-large [pkgsrc-2019Q4] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-small [pkgsrc-2019Q4] Meta-package for a standard short limited bulk build
editors/emacs20 [pkgsrc-2019Q4] GNU editing macros (editor)
editors/emacs [pkgsrc-2019Q4] Meta-package for installing the preferred Emacs version
editors/emacs-nox11 [pkgsrc-2019Q4] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2019Q4] System/161 MIPS emulator
devel/tradcpp [pkgsrc-2019Q4] Traditional (K&R-style) C preprocessor
security/mozilla-rootcerts-openssl [pkgsrc-2019Q4] Wedge for installing and managing mozilla-rootcerts
lang/ghc-bootstrap [pkgsrc-2019Q4] Bootstrap kit generator for the GHC Haskell compiler
x11/xview-config [pkgsrc-2019Q4] OpenLook Toolkit config files
lang/pict [pkgsrc-2019Q4] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-medium [pkgsrc-2019Q4] Meta-package for a standard medium-sized limited bulk build
editors/emacs20 [pkgsrc-2020Q1] GNU editing macros (editor)
lang/ghc-bootstrap [pkgsrc-2020Q1] Bootstrap kit generator for the GHC Haskell compiler
emulators/sys161 [pkgsrc-2020Q1] System/161 MIPS emulator
x11/xview-config [pkgsrc-2020Q1] OpenLook Toolkit config files
meta-pkgs/bulk-small [pkgsrc-2020Q1] Meta-package for a standard short limited bulk build
security/mozilla-rootcerts-openssl [pkgsrc-2020Q1] Wedge for installing and managing mozilla-rootcerts
meta-pkgs/bulk-medium [pkgsrc-2020Q1] Meta-package for a standard medium-sized limited bulk build
lang/newsqueak [pkgsrc-2020Q1] Newsqueak: a language for communicating with mice
editors/emacs-nox11 [pkgsrc-2020Q1] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2020Q1] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-large [pkgsrc-2020Q1] Meta-package for a standard largish limited bulk build
math/z3 [pkgsrc-2020Q1] The Z3 theorem prover / SMT solver
lang/pict [pkgsrc-2020Q1] Concurrent language based on Milners pi calculus
devel/tradcpp [pkgsrc-2020Q1] Traditional (K&R-style) C preprocessor
math/py-z3 [pkgsrc-2020Q1] Python bindings for the Z3 theorem prover / SMT solver
meta-pkgs/bulk-medium [pkgsrc-2020Q2] Meta-package for a standard medium-sized limited bulk build
lang/pict [pkgsrc-2020Q2] Concurrent language based on Milners pi calculus
editors/emacs-nox11 [pkgsrc-2020Q2] Meta-package for installing the preferred Emacs version
security/mozilla-rootcerts-openssl [pkgsrc-2020Q2] Wedge for installing and managing mozilla-rootcerts
lang/newsqueak [pkgsrc-2020Q2] Newsqueak: a language for communicating with mice
devel/tradcpp [pkgsrc-2020Q2] Traditional (K&R-style) C preprocessor
lang/ghc-bootstrap [pkgsrc-2020Q2] Bootstrap kit generator for the GHC Haskell compiler
x11/xview-config [pkgsrc-2020Q2] OpenLook Toolkit config files
meta-pkgs/bulk-large [pkgsrc-2020Q2] Meta-package for a standard largish limited bulk build
math/z3 [pkgsrc-2020Q2] The Z3 theorem prover / SMT solver
editors/emacs20 [pkgsrc-2020Q2] GNU editing macros (editor)
meta-pkgs/bulk-small [pkgsrc-2020Q2] Meta-package for a standard short limited bulk build
editors/emacs [pkgsrc-2020Q2] Meta-package for installing the preferred Emacs version
math/py-z3 [pkgsrc-2020Q2] Python bindings for the Z3 theorem prover / SMT solver
emulators/sys161 [pkgsrc-2020Q2] System/161 MIPS emulator
devel/tradcpp [pkgsrc-2020Q3] Traditional (K&R-style) C preprocessor
editors/emacs-nox11 [pkgsrc-2020Q3] Meta-package for installing the preferred Emacs version
math/py-z3 [pkgsrc-2020Q3] Python bindings for the Z3 theorem prover / SMT solver
emulators/sys161 [pkgsrc-2020Q3] System/161 MIPS emulator
editors/emacs [pkgsrc-2020Q3] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2020Q3] OpenLook Toolkit config files
security/mozilla-rootcerts-openssl [pkgsrc-2020Q3] Wedge for installing and managing mozilla-rootcerts
lang/ghc-bootstrap [pkgsrc-2020Q3] Bootstrap kit generator for the GHC Haskell compiler
lang/pict [pkgsrc-2020Q3] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-medium [pkgsrc-2020Q3] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-small [pkgsrc-2020Q3] Meta-package for a standard short limited bulk build
editors/emacs20 [pkgsrc-2020Q3] GNU editing macros (editor)
math/z3 [pkgsrc-2020Q3] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-large [pkgsrc-2020Q3] Meta-package for a standard largish limited bulk build
lang/newsqueak [pkgsrc-2020Q3] Newsqueak: a language for communicating with mice
x11/xview-config [pkgsrc-2020Q4] OpenLook Toolkit config files
editors/emacs [pkgsrc-2020Q4] Meta-package for installing the preferred Emacs version
math/py-z3 [pkgsrc-2020Q4] Python bindings for the Z3 theorem prover / SMT solver
security/mozilla-rootcerts-openssl [pkgsrc-2020Q4] Wedge for installing and managing mozilla-rootcerts
lang/ghc-bootstrap [pkgsrc-2020Q4] Bootstrap kit generator for the GHC Haskell compiler
meta-pkgs/bulk-small [pkgsrc-2020Q4] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2020Q4] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-large [pkgsrc-2020Q4] Meta-package for a standard largish limited bulk build
emulators/sys161 [pkgsrc-2020Q4] System/161 MIPS emulator
editors/emacs-nox11 [pkgsrc-2020Q4] Meta-package for installing the preferred Emacs version
editors/emacs20 [pkgsrc-2020Q4] GNU editing macros (editor)
math/z3 [pkgsrc-2020Q4] The Z3 theorem prover / SMT solver
lang/pict [pkgsrc-2020Q4] Concurrent language based on Milners pi calculus
lang/newsqueak [pkgsrc-2020Q4] Newsqueak: a language for communicating with mice
devel/tradcpp [pkgsrc-2020Q4] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-large [pkgsrc-2021Q1] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2021Q1] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-small [pkgsrc-2021Q1] Meta-package for a standard short limited bulk build
devel/tradcpp [pkgsrc-2021Q1] Traditional (K&R-style) C preprocessor
lang/coq [pkgsrc-2021Q1] Theorem prover which extracts programs from proofs
lang/ghc-bootstrap [pkgsrc-2021Q1] Bootstrap kit generator for the GHC Haskell compiler
math/py-z3 [pkgsrc-2021Q1] Python bindings for the Z3 theorem prover / SMT solver
lang/newsqueak [pkgsrc-2021Q1] Newsqueak: a language for communicating with mice
math/z3 [pkgsrc-2021Q1] The Z3 theorem prover / SMT solver
x11/xview-config [pkgsrc-2021Q1] OpenLook Toolkit config files
security/mozilla-rootcerts-openssl [pkgsrc-2021Q1] Wedge for installing and managing mozilla-rootcerts
editors/emacs-nox11 [pkgsrc-2021Q1] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2021Q1] Meta-package for installing the preferred Emacs version
editors/emacs20 [pkgsrc-2021Q1] GNU editing macros (editor)
lang/pict [pkgsrc-2021Q1] Concurrent language based on Milners pi calculus
emulators/sys161 [pkgsrc-2021Q1] System/161 MIPS emulator
meta-pkgs/bulk-large [pkgsrc-2021Q2] Meta-package for a standard largish limited bulk build
lang/pict [pkgsrc-2021Q2] Concurrent language based on Milners pi calculus
devel/tradcpp [pkgsrc-2021Q2] Traditional (K&R-style) C preprocessor
x11/xview-config [pkgsrc-2021Q2] OpenLook Toolkit config files
security/mozilla-rootcerts-openssl [pkgsrc-2021Q2] Wedge for installing and managing mozilla-rootcerts
editors/emacs20 [pkgsrc-2021Q2] GNU editing macros (editor)
math/py-z3 [pkgsrc-2021Q2] Python bindings for the Z3 theorem prover / SMT solver
editors/emacs [pkgsrc-2021Q2] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2021Q2] System/161 MIPS emulator
meta-pkgs/bulk-small [pkgsrc-2021Q2] Meta-package for a standard short limited bulk build
lang/coq [pkgsrc-2021Q2] Theorem prover which extracts programs from proofs
math/z3 [pkgsrc-2021Q2] The Z3 theorem prover / SMT solver
lang/newsqueak [pkgsrc-2021Q2] Newsqueak: a language for communicating with mice
editors/emacs-nox11 [pkgsrc-2021Q2] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-medium [pkgsrc-2021Q2] Meta-package for a standard medium-sized limited bulk build
lang/ghc-bootstrap [pkgsrc-2021Q2] Bootstrap kit generator for the GHC Haskell compiler
devel/tradcpp [pkgsrc-2021Q3] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-medium [pkgsrc-2021Q3] Meta-package for a standard medium-sized limited bulk build
editors/emacs-nox11 [pkgsrc-2021Q3] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2021Q3] System/161 MIPS emulator
lang/newsqueak [pkgsrc-2021Q3] Newsqueak: a language for communicating with mice
lang/ghc-bootstrap [pkgsrc-2021Q3] Bootstrap kit generator for the GHC Haskell compiler
editors/emacs [pkgsrc-2021Q3] Meta-package for installing the preferred Emacs version
math/z3 [pkgsrc-2021Q3] The Z3 theorem prover / SMT solver
security/mozilla-rootcerts-openssl [pkgsrc-2021Q3] Wedge for installing and managing mozilla-rootcerts
meta-pkgs/bulk-small [pkgsrc-2021Q3] Meta-package for a standard short limited bulk build
x11/xview-config [pkgsrc-2021Q3] OpenLook Toolkit config files
editors/emacs20 [pkgsrc-2021Q3] GNU editing macros (editor)
math/py-z3 [pkgsrc-2021Q3] Python bindings for the Z3 theorem prover / SMT solver
lang/coq [pkgsrc-2021Q3] Theorem prover which extracts programs from proofs
lang/pict [pkgsrc-2021Q3] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-large [pkgsrc-2021Q3] Meta-package for a standard largish limited bulk build
meta-pkgs/bulk-large [pkgsrc-2021Q4] Meta-package for a standard largish limited bulk build
lang/pict [pkgsrc-2021Q4] Concurrent language based on Milners pi calculus
lang/ghc-bootstrap [pkgsrc-2021Q4] Bootstrap kit generator for the GHC Haskell compiler
lang/coq [pkgsrc-2021Q4] Theorem prover which extracts programs from proofs
editors/emacs [pkgsrc-2021Q4] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-medium [pkgsrc-2021Q4] Meta-package for a standard medium-sized limited bulk build
editors/emacs20 [pkgsrc-2021Q4] GNU editing macros (editor)
math/py-z3 [pkgsrc-2021Q4] Python bindings for the Z3 theorem prover / SMT solver
editors/emacs-nox11 [pkgsrc-2021Q4] Meta-package for installing the preferred Emacs version
math/z3 [pkgsrc-2021Q4] The Z3 theorem prover / SMT solver
lang/newsqueak [pkgsrc-2021Q4] Newsqueak: a language for communicating with mice
meta-pkgs/bulk-small [pkgsrc-2021Q4] Meta-package for a standard short limited bulk build
devel/tradcpp [pkgsrc-2021Q4] Traditional (K&R-style) C preprocessor
emulators/sys161 [pkgsrc-2021Q4] System/161 MIPS emulator
x11/xview-config [pkgsrc-2021Q4] OpenLook Toolkit config files
security/mozilla-rootcerts-openssl [pkgsrc-2021Q4] Wedge for installing and managing mozilla-rootcerts
x11/xview-config [pkgsrc-2022Q1] OpenLook Toolkit config files
lang/ghc-bootstrap [pkgsrc-2022Q1] Bootstrap kit generator for the GHC Haskell compiler
lang/pict [pkgsrc-2022Q1] Concurrent language based on Milners pi calculus
lang/newsqueak [pkgsrc-2022Q1] Newsqueak: a language for communicating with mice
security/mozilla-rootcerts-openssl [pkgsrc-2022Q1] Wedge for installing and managing mozilla-rootcerts
editors/emacs20 [pkgsrc-2022Q1] GNU editing macros (editor)
math/py-z3 [pkgsrc-2022Q1] Python bindings for the Z3 theorem prover / SMT solver
emulators/sys161 [pkgsrc-2022Q1] System/161 MIPS emulator
lang/coq [pkgsrc-2022Q1] Theorem prover which extracts programs from proofs
meta-pkgs/bulk-small [pkgsrc-2022Q1] Meta-package for a standard short limited bulk build
math/z3 [pkgsrc-2022Q1] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-medium [pkgsrc-2022Q1] Meta-package for a standard medium-sized limited bulk build
meta-pkgs/bulk-large [pkgsrc-2022Q1] Meta-package for a standard largish limited bulk build
editors/emacs-nox11 [pkgsrc-2022Q1] Meta-package for installing the preferred Emacs version
editors/emacs [pkgsrc-2022Q1] Meta-package for installing the preferred Emacs version
devel/tradcpp [pkgsrc-2022Q1] Traditional (K&R-style) C preprocessor
lang/coq [pkgsrc-2022Q2] Theorem prover which extracts programs from proofs
lang/pict [pkgsrc-2022Q2] Concurrent language based on Milners pi calculus
x11/xview-config [pkgsrc-2022Q2] OpenLook Toolkit config files
devel/tradcpp [pkgsrc-2022Q2] Traditional (K&R-style) C preprocessor
meta-pkgs/bulk-large [pkgsrc-2022Q2] Meta-package for a standard largish limited bulk build
editors/emacs20 [pkgsrc-2022Q2] GNU editing macros (editor)
meta-pkgs/bulk-small [pkgsrc-2022Q2] Meta-package for a standard short limited bulk build
meta-pkgs/bulk-medium [pkgsrc-2022Q2] Meta-package for a standard medium-sized limited bulk build
math/py-z3 [pkgsrc-2022Q2] Python bindings for the Z3 theorem prover / SMT solver
math/z3 [pkgsrc-2022Q2] The Z3 theorem prover / SMT solver
lang/newsqueak [pkgsrc-2022Q2] Newsqueak: a language for communicating with mice
security/mozilla-rootcerts-openssl [pkgsrc-2022Q2] Wedge for installing and managing mozilla-rootcerts
lang/ghc-bootstrap [pkgsrc-2022Q2] Bootstrap kit generator for the GHC Haskell compiler
editors/emacs [pkgsrc-2022Q2] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2022Q2] System/161 MIPS emulator
editors/emacs-nox11 [pkgsrc-2022Q2] Meta-package for installing the preferred Emacs version
meta-pkgs/bulk-large [pkgsrc-2022Q3] Meta-package for a standard largish limited bulk build
lang/ghc-bootstrap [pkgsrc-2022Q3] Bootstrap kit generator for the GHC Haskell compiler
lang/newsqueak [pkgsrc-2022Q3] Newsqueak: a language for communicating with mice
math/py-z3 [pkgsrc-2022Q3] Python bindings for the Z3 theorem prover / SMT solver
meta-pkgs/bulk-small [pkgsrc-2022Q3] Meta-package for a standard short limited bulk build
math/z3 [pkgsrc-2022Q3] The Z3 theorem prover / SMT solver
lang/coq [pkgsrc-2022Q3] Theorem prover which extracts programs from proofs
lang/pict [pkgsrc-2022Q3] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-medium [pkgsrc-2022Q3] Meta-package for a standard medium-sized limited bulk build
devel/tradcpp [pkgsrc-2022Q3] Traditional (K&R-style) C preprocessor
editors/emacs [pkgsrc-2022Q3] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2022Q3] OpenLook Toolkit config files
security/mozilla-rootcerts-openssl [pkgsrc-2022Q3] Wedge for installing and managing mozilla-rootcerts
editors/emacs20 [pkgsrc-2022Q3] GNU editing macros (editor)
editors/emacs-nox11 [pkgsrc-2022Q3] Meta-package for installing the preferred Emacs version
emulators/sys161 [pkgsrc-2022Q3] System/161 MIPS emulator
lang/ghc-bootstrap [pkgsrc-2022Q4] Bootstrap kit generator for the GHC Haskell compiler
meta-pkgs/bulk-small [pkgsrc-2022Q4] Meta-package for a standard short limited bulk build
devel/tradcpp [pkgsrc-2022Q4] Traditional (K&R-style) C preprocessor
editors/emacs-nox11 [pkgsrc-2022Q4] Meta-package for installing the preferred Emacs version
x11/xview-config [pkgsrc-2022Q4] OpenLook Toolkit config files
math/z3 [pkgsrc-2022Q4] The Z3 theorem prover / SMT solver
meta-pkgs/bulk-large [pkgsrc-2022Q4] Meta-package for a standard largish limited bulk build
emulators/sys161 [pkgsrc-2022Q4] System/161 MIPS emulator
lang/pict [pkgsrc-2022Q4] Concurrent language based on Milners pi calculus
meta-pkgs/bulk-medium [pkgsrc-2022Q4] Meta-package for a standard medium-sized limited bulk build
math/py-z3 [pkgsrc-2022Q4] Python bindings for the Z3 theorem prover / SMT solver
lang/newsqueak [pkgsrc-2022Q4] Newsqueak: a language for communicating with mice
security/mozilla-rootcerts-openssl [pkgsrc-2022Q4] Wedge for installing and managing mozilla-rootcerts
editors/emacs [pkgsrc-2022Q4] Meta-package for installing the preferred Emacs version
lang/coq [pkgsrc-2022Q4] Theorem prover which extracts programs from proofs
editors/emacs20 [pkgsrc-2022Q4] GNU editing macros (editor)