gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/agda

A dependently typed functional programming language and proof assistant

Screenshots

  • agda-2.6.3.0
    ~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.3.0


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

<dev-haskell/aeson-2.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.0:=[profile?
]

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

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

>=dev-haskell/haskeline-0.7.2.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/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.2.4:=[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.5:=[profile?
]

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

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

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

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

>=dev-haskell/unordered-containers-0.2.5.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:=[profile?
]

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

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

<dev-haskell/zlib-0.7:=[profile?
]
>=dev-lang/ghc-8.10.1:=

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?
]