gpo.zugaina.org

Search Portage & Overlays:

dev-lang/ats2

Functional programming language with dependent types

Screenshots

Runtime Dependencies

ats2-0.4.2-r1

dev-libs/gmp:=

emacs?
      ( >=app-editors/emacs-25.3:* )