gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/agda

A dependently typed functional programming language and proof assistant

Screenshots

  • agda-2.6.4.3
    ~amd64
    cpphs debug emacs enable-cluster-counting optimise-heavily +stdlib doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell

Runtime Dependencies

agda-2.6.4.3


>=dev-haskell/aeson-1.1.2.0:=[profile?
]

<dev-haskell/aeson-2.3:=[profile?
]

>=dev-haskell/ansi-terminal-0.9:=[profile?
]

<dev-haskell/ansi-terminal-1.2:=[profile?
]

>=dev-haskell/async-2.2:=[profile?
]

<dev-haskell/async-2.3:=[profile?
]

>=dev-haskell/blaze-html-0.8:=[profile?
]

<dev-haskell/blaze-html-0.10:=[profile?
]

>=dev-haskell/boxes-0.1.3:=[profile?
]

<dev-haskell/boxes-0.2:=[profile?
]

>=dev-haskell/case-insensitive-1.2.0.4:=[profile?
]

<dev-haskell/case-insensitive-1.3:=[profile?
]

>=dev-haskell/data-hash-0.2.0.0:=[profile?
]

<dev-haskell/data-hash-0.3:=[profile?
]

>=dev-haskell/dlist-0.8:=[profile?
]

<dev-haskell/dlist-1.1:=[profile?
]

>=dev-haskell/edit-distance-0.2.1.2:=[profile?
]

<dev-haskell/edit-distance-0.3:=[profile?
]

>=dev-haskell/equivalence-0.3.2:=[profile?
]

<dev-haskell/equivalence-0.5:=[profile?
]

>=dev-haskell/gitrev-1.3.1:=[profile?
]

<dev-haskell/gitrev-2:=[profile?
]

>=dev-haskell/hashable-1.2.1.0:=[profile?
]

<dev-haskell/hashable-1.5:=[profile?
]

>=dev-haskell/haskeline-0.7.4.3:=[profile?
]

<dev-haskell/haskeline-0.9:=[profile?
]

>=dev-haskell/monad-control-1.0.1.0:=[profile?
]

<dev-haskell/monad-control-1.1:=[profile?
]

>=dev-haskell/murmur-hash-0.1:=[profile?
]

<dev-haskell/murmur-hash-0.2:=[profile?
]

>=dev-haskell/parallel-3.2.2.0:=[profile?
]

<dev-haskell/parallel-3.3:=[profile?
]

>=dev-haskell/peano-0.1.0.1:=[profile?
]

<dev-haskell/peano-0.2:=[profile?
]

>=dev-haskell/regex-tdfa-1.3.1.0:=[profile?
]

<dev-haskell/regex-tdfa-1.4:=[profile?
]

>=dev-haskell/split-0.2.0.0:=[profile?
]

<dev-haskell/split-0.3:=[profile?
]

>=dev-haskell/stmonadtrans-0.4.3:=[profile?
]

<dev-haskell/stmonadtrans-0.5:=[profile?
]

>=dev-haskell/strict-0.4.0.1:=[profile?
]

<dev-haskell/strict-0.6:=[profile?
]

>=dev-haskell/text-1.2.3.1:=[profile?
]

<dev-haskell/text-2.2:=[profile?
]

>=dev-haskell/time-compat-1.9.2:=[profile?
]

<dev-haskell/time-compat-1.10:=[profile?
]

>=dev-haskell/unordered-containers-0.2.9.0:=[profile?
]

<dev-haskell/unordered-containers-0.3:=[profile?
]

>=dev-haskell/uri-encode-1.5.0.4:=[profile?
]

<dev-haskell/uri-encode-1.6:=[profile?
]

>=dev-haskell/vector-0.12:=[profile?
]

<dev-haskell/vector-0.14:=[profile?
]

>=dev-haskell/vector-hashtables-0.1.1.1:=[profile?
]

<dev-haskell/vector-hashtables-0.2:=[profile?
]

>=dev-haskell/zlib-0.6:=[profile?
]

<dev-haskell/zlib-0.8:=[profile?
]
>=dev-lang/ghc-9.0.2:=

enable-cluster-counting?
      ( >=dev-haskell/text-icu-0.7.1.0:=[profile?
] )

emacs?
      ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode )


dev-lang/ghc:=[profile?
]