portage-ng / portage / dev-lang / ats2 / 0.4.2-r1
portage-ng --info
>>> Printing information for: portage://dev-lang/ats2-0.4.2-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Functional programming language with dependent types
homepage : 
   https://www.cs.bu.edu/~hwxi/atslangweb/ https://sourceforge.net/projects/ats2-lang/
maintainer : 
   xgqt@gentoo.org
license : 
   GPL-3+
eapi : 
   8
slot : 
   0
subslot : 
   0.4.2

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   emacs
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   elisp-common
   toolchain-funcs
defined_phases : 
   compile
   install
   postinst
   postrm
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   ATS2-Postiats-gmp-0.4.2.tgz
   ats2-0.4.2-2-deprecated-cl-package.patch
   ats2-0.4.2-2-prelude-function-prototypes.patch

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   [not set]

depend : 
   dev-libs/gmp:=
   use emacs
      >=app-editors/emacs-25.3:*

idepend : 
   [not set]

rdepend : 
   dev-libs/gmp:=
   use emacs
      >=app-editors/emacs-25.3:*

pdepend : 
   [not set]