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