Package: libghc-agda-doc Priority: extra Section: universe/doc Installed-Size: 20134 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Architecture: all Source: agda Version: 2.3.0.1-1build2 Replaces: haskell-agda-doc Provides: haskell-agda-doc Depends: haddock-interface-19 Recommends: ghc-doc, libghc-haskeline-doc, libghc-mtl-doc, libghc-quickcheck2-doc, libghc-src-exts-doc, libghc-syb-doc, libghc-agda-dev Conflicts: haskell-agda-doc (<< 2.2.6-5) Filename: pool/universe/a/agda/libghc-agda-doc_2.3.0.1-1build2_all.deb Size: 1687042 MD5sum: 24e733b39043dff3a1b62be36000b8da SHA1: 6ecdaf01f7dd7339014cc2eae2e3d98043d3c419 SHA256: 541fe36ecca779006ea7fe3900c3327f8136597774806cd5aad8182cb43942df Description: dependently typed functional programming language - documentation Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: 70054f6f7263a865ee3f97068a92c108 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu