Package: libghc-agda-doc
Architecture: all
Version: 2.6.1-1build2.1
Priority: extra
Section: universe/doc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 141840
Provides: haskell-agda-doc
Depends: haddock-interface-35
Recommends: ghc-doc, libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-strict-doc, libghc-unordered-containers-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Replaces: haskell-agda-doc
Filename: pool/universe/a/agda/libghc-agda-doc_2.6.1-1build2.1_all.deb
Size: 5403312
MD5sum: f1d7734e509863a3b4a7e7834faac1ca
SHA1: 549e7e216956c3713ceefbebd70a5c9985f85d7b
SHA256: a749cf01a915bd21a75627c04daf3b220f22577fe833ee9cc198da849555b758
SHA512: d02ad22e3243606819f88e145dcbdb15e27c6ffaa6190cd0e94276e6da86f37b3c4ca3d15f91108dfdf86f713a616d360b57dd9238a053243efeb4e3c58734a5
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33