blob: e8babccf5b611a9e79f0231d839d82d38e0c43c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
DEFINED_PHASES=compile install postinst postrm prepare
DEPEND=dev-libs/gmp:= emacs? ( >=app-editors/emacs-25.3:* )
DESCRIPTION=Functional programming language with dependent types
EAPI=8
HOMEPAGE=https://www.cs.bu.edu/~hwxi/atslangweb/ https://sourceforge.net/projects/ats2-lang/
INHERIT=elisp-common toolchain-funcs
IUSE=emacs
KEYWORDS=~amd64 ~x86
LICENSE=GPL-3+
RDEPEND=dev-libs/gmp:= emacs? ( >=app-editors/emacs-25.3:* )
SLOT=0/0.4.2
SRC_URI=http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-0.4.2.tgz https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/deprecated-cl-package -> ats2-0.4.2-2-deprecated-cl-package.patch https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/prelude-function-prototypes -> ats2-0.4.2-2-prelude-function-prototypes.patch
_eclasses_=elisp-common 4ee3453b022aae73f4d827a0f98920c2 toolchain-funcs 14648d8795f7779e11e1bc7cf08b7536 multilib b2a329026f2e404e9e371097dda47f96
_md5_=0a4d7ff3550a4a41ad73a07633e2ee02
|
GitWeb
