The following packages were found for maintainer: MarkoSchuetz+AT+web.de
devel/rsltc [CURRENT] RAISE Specification Language Type Checker
wip/cvc3 [CURRENT] Automatic theorem prover for SMT problems
wip/alt-ergo [CURRENT] Automatic theorem prover for program verification
math/mpcomplex [CURRENT] Multiprecision complex arithmetic library
wip/py-yapgvb [CURRENT] Yet Another Python Graphviz Binding
wip/tardy [CURRENT] Manipulate attributes of files within tar archives
devel/gentle [CURRENT] Gentle Compiler Construction System
wip/why [CURRENT] Why is a software verification platform
wip/gnocchi [CURRENT] Complexity analyser for C++
misc/emacs-wiki [CURRENT] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2007Q2] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2007Q2] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2007Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2007Q3] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2007Q3] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2007Q3] Wiki major mode for emacs, which aims for implicit and natural markup
misc/emacs-wiki [pkgsrc-2007Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2007Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2007Q4] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2008Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2008Q1] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2008Q1] RAISE Specification Language Type Checker
devel/rsltc [pkgsrc-2008Q2] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2008Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2008Q2] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2008Q3] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2008Q3] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2008Q3] RAISE Specification Language Type Checker
devel/rsltc [pkgsrc-2008Q4] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2008Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2008Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2009Q1] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2009Q1] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2009Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2009Q2] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2009Q2] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2009Q2] Wiki major mode for emacs, which aims for implicit and natural markup
misc/emacs-wiki [pkgsrc-2009Q3] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2009Q3] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2009Q3] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2009Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2009Q4] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2009Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2010Q1] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2010Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2010Q1] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2010Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2010Q2] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2010Q2] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2010Q3] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2010Q3] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2010Q3] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2010Q3] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2010Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2010Q4] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2010Q4] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2010Q4] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2011Q1] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2011Q1] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2011Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2011Q1] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2011Q2] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2011Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2011Q2] Gentle Compiler Construction System
lang/gcc45 [pkgsrc-2011Q2] GNU Compiler Collection 4.5
devel/rsltc [pkgsrc-2011Q2] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2011Q3] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2011Q3] Wiki major mode for emacs, which aims for implicit and natural markup
lang/gcc45 [pkgsrc-2011Q3] GNU Compiler Collection 4.5
math/mpcomplex [pkgsrc-2011Q3] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2011Q3] RAISE Specification Language Type Checker
devel/rsltc [pkgsrc-2011Q4] RAISE Specification Language Type Checker
lang/gcc45 [pkgsrc-2011Q4] GNU Compiler Collection 4.5
misc/emacs-wiki [pkgsrc-2011Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2011Q4] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2011Q4] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2012Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2012Q1] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2012Q1] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2012Q1] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2012Q2] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2012Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2012Q2] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2012Q2] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2012Q3] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2012Q3] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2012Q3] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2012Q3] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2012Q4] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2012Q4] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2012Q4] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2012Q4] RAISE Specification Language Type Checker
devel/rsltc [pkgsrc-2013Q1] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2013Q1] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2013Q1] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2013Q1] Wiki major mode for emacs, which aims for implicit and natural markup
misc/emacs-wiki [pkgsrc-2013Q2] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2013Q2] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2013Q2] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2013Q2] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2013Q3] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2013Q3] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2013Q3] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2013Q3] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2013Q4] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2013Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2013Q4] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2013Q4] Wiki major mode for emacs, which aims for implicit and natural markup
misc/emacs-wiki [pkgsrc-2014Q1] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2014Q1] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2014Q1] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2014Q1] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2014Q2] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2014Q2] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2014Q2] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2014Q2] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2014Q3] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2014Q3] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2014Q3] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2014Q3] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2014Q4] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2014Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2014Q4] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2014Q4] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2015Q1] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2015Q1] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2015Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2015Q1] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2015Q2] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2015Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2015Q2] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2015Q2] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2015Q3] Wiki major mode for emacs, which aims for implicit and natural markup
mail/ja-mh/pkgsrc/devel/rsltc [pkgsrc-2015Q3] RAISE Specification Language Type Checker
devel/rsltc [pkgsrc-2015Q3] RAISE Specification Language Type Checker
mail/ja-mh/pkgsrc/devel/gentle [pkgsrc-2015Q3] Gentle Compiler Construction System
mail/ja-mh/pkgsrc/math/mpcomplex [pkgsrc-2015Q3] Multiprecision complex arithmetic library
math/mpcomplex [pkgsrc-2015Q3] Multiprecision complex arithmetic library
mail/ja-mh/pkgsrc/misc/emacs-wiki [pkgsrc-2015Q3] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2015Q3] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2015Q4] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2015Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2015Q4] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2015Q4] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2016Q1] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2016Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2016Q1] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2016Q1] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2016Q2] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2016Q2] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2016Q2] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2016Q2] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2016Q3] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2016Q3] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2016Q3] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2016Q3] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2016Q4] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2016Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2016Q4] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2016Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2017Q1] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2017Q1] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2017Q1] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2017Q1] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2017Q2] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2017Q2] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2017Q2] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2017Q2] Wiki major mode for emacs, which aims for implicit and natural markup
misc/emacs-wiki [pkgsrc-2017Q3] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2017Q3] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2017Q3] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2017Q3] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2017Q4] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2017Q4] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2017Q4] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2017Q4] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2018Q1] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2018Q1] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2018Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2018Q1] Gentle Compiler Construction System
devel/gentle [pkgsrc-2018Q2] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2018Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2018Q2] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2018Q2] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2018Q3] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2018Q3] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2018Q3] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2018Q3] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2018Q4] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2018Q4] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2018Q4] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2018Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2019Q1] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2019Q1] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2019Q1] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2019Q1] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2019Q2] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2019Q2] Multiprecision complex arithmetic library
devel/gentle [pkgsrc-2019Q2] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2019Q2] RAISE Specification Language Type Checker
misc/emacs-wiki [pkgsrc-2019Q3] Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex [pkgsrc-2019Q3] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2019Q3] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2019Q3] Gentle Compiler Construction System
devel/rsltc [pkgsrc-2019Q4] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2019Q4] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2019Q4] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2019Q4] Gentle Compiler Construction System
misc/emacs-wiki [pkgsrc-2020Q1] Wiki major mode for emacs, which aims for implicit and natural markup
devel/gentle [pkgsrc-2020Q1] Gentle Compiler Construction System
math/mpcomplex [pkgsrc-2020Q1] Multiprecision complex arithmetic library
devel/rsltc [pkgsrc-2020Q1] RAISE Specification Language Type Checker
math/mpcomplex [pkgsrc-2020Q2] Multiprecision complex arithmetic library
misc/emacs-wiki [pkgsrc-2020Q2] Wiki major mode for emacs, which aims for implicit and natural markup
devel/rsltc [pkgsrc-2020Q2] RAISE Specification Language Type Checker
devel/gentle [pkgsrc-2020Q2] Gentle Compiler Construction System