Package: libghc-agda-doc
Architecture: all
Version: 2.6.3-2
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: 173173
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)
Replaces: haskell-agda-doc
Filename: pool/universe/a/agda/libghc-agda-doc_2.6.3-2_all.deb
Size: 6226040
MD5sum: 866eb1baba65f7b51508523ba082d590
SHA1: cd98bf637061b1343d7ba60566b8280076e5e0e8
SHA256: af6c361d609abc365258e0b7735f5d969f5d54f9ade12a20471ee96060123a88
SHA512: 3b0e85a23b471368446e821642de3b41d8a14ab0e5c4e06a2d9491444daead174cdd873106ccfa7ae8574e5c750491f80b204fcfcde3dd5ee4946af971fa050d
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33