Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-lang
/ats2
Functional programming language with dependent types
Screenshots
https://www.cs.bu.edu/~hwxi/atslangweb/
https://sourceforge.net/projects/ats2-lang/
ats2-0.4.2-r1
~amd64 ~x86
emacs
View
Download
Browse
License: GPL-3+
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
ats2-0.4.2-r1
dev-libs/gmp
:=
emacs
?
( >=
app-editors/emacs
-25.3:* )