Package: libghc-agda-doc
Source: agda
Version: 2.6.3-1
Installed-Size: 169703
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: all
Replaces: haskell-agda-doc
Provides: haskell-agda-doc
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-aeson-doc, libghc-agda-dev, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-case-insensitive-doc, libghc-data-hash-doc, libghc-dlist-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-monad-control-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-stmonadtrans-doc, libghc-strict-doc, libghc-time-compat-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-vector-doc, libghc-vector-hashtables-doc, libghc-zlib-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Description: dependently typed functional programming language; documentation
Homepage: https://wiki.portal.chalmers.se/agda/
Description-md5: 42838d7e4b43bdeee8091f83a2111b33
Tag: devel::doc, made-of::html, role::documentation
Section: doc
Priority: optional
Filename: pool/main/a/agda/libghc-agda-doc_2.6.3-1_all.deb
Size: 6957572
MD5sum: 94384daa77863b2d4b4620f6a151141b
SHA256: a27540428bb987499888ffb882a7128abb1acdf15247d1b73c3e671f29357df6