Package: libghc-agda-doc
Architecture: all
Version: 2.6.3-1build1
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-1build1_all.deb
Size: 6288876
MD5sum: a063dd06dc8a876389dda1332b3fbd72
SHA1: 967aebd0400a95631758819b088c9b86eeafcc8f
SHA256: 8fb089fb47f6599199bb43838750165edf4bc1ec5aea20ed8dc2ee02d3b0faef
SHA512: 96b62704f281727795b5c5b97ee00d1d34ec9098b66d353b4c9556f37236c11ff2ec76ae27e22cdf1b9efb1afd47cc8ae9d04aa9207d1e0a2c303b4526426783
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language; documentation
Description-md5: 42838d7e4b43bdeee8091f83a2111b33