deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Depends: haddock-interface-42
Description: "dependently typed functional programming language; documentation\n\
\ Agda is a dependently typed functional programming language: It has inductive\n\
\ families, which are like Haskell's GADTs, but they can be indexed by values\
\ and\n not just types. It also has parameterised modules, mixfix operators, Unicode\n\
\ characters, and an interactive Emacs interface (the type checker can assist\
\ in\n the development of your code).\n .\n Agda is also a proof assistant: It\
\ is an interactive system for writing and\n checking proofs. Agda is based on\
\ intuitionistic type theory, a foundational\n system for constructive mathematics\
\ developed by the Swedish logician Per\n Martin-L\xF6f. It has many similarities\
\ with other proof assistants based on\n dependent types, such as Coq, Epigram\
\ and NuPRL.\n .\n This package provides the documentation for a library for the\
\ Haskell\n programming language.\n See http://www.haskell.org/ for more information\
\ on Haskell."
Homepage: https://wiki.portal.chalmers.se/agda/
Installed-Size: '181250'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: libghc-agda-doc
Priority: optional
Provides: haskell-agda-doc
Recommends: ghc-doc, libghc-aeson-doc, libghc-agda-dev, libghc-ansi-terminal-doc,
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-peano-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
Replaces: haskell-agda-doc
Section: doc
Source: agda
Version: 2.6.4.3-1
srcpkg_name: agda
srcpkg_version: 2.6.4.3-1