blob: 2a6304b532aa5a92f4da999d928d08479e05f6fe (
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 abb2dda42f680fce87602c8273f832c7 toolchain-funcs d3d42b22a610ce81c267b644bcec9b87 multilib b2a329026f2e404e9e371097dda47f96
_md5_=0a4d7ff3550a4a41ad73a07633e2ee02
|
GitWeb
