libghc-agda-dev

Binary packages in oldstable

Description

dependently typed functional programming language

Dependencies amd64

Depends

libghc-aeson-dev-2.0.3.0-6cd28, libghc-array-dev-0.5.4.0-0b6fa, libghc-async-dev-2.2.4-7edea, libghc-base-dev-4.15.1.0-6a406, libghc-binary-dev-0.8.8.0-507cc, libghc-blaze-html-dev-0.9.1.2-d5145, libghc-boxes-dev-0.1.5-fe15f, libghc-bytestring-dev-0.10.12.1-ced9a, libghc-case-insensitive-dev-1.2.1.0-ea097, libghc-containers-dev-0.6.4.1-31c3b, libghc-data-hash-dev-0.2.0.1-3af90, libghc-deepseq-dev-1.4.5.0-118cf, libghc-directory-dev-1.3.6.2-311c9, libghc-edit-distance-dev-0.2.2.1-cc475, libghc-equivalence-dev-0.4.1-9ed28, libghc-exceptions-dev-0.10.4-c14ff, libghc-filepath-dev-1.4.2.1-4459f, libghc-ghc-compact-dev-0.1.0.0-7d71d, libghc-gitrev-dev-1.3.1-3f551, libghc-hashable-dev-1.3.5.0-3fad8, libghc-hashtables-dev-1.2.4.2-4be59, libghc-haskeline-dev-0.8.2-83f75, libghc-monad-control-dev-1.0.3.1-20361, libghc-mtl-dev-2.2.2-e3bae, libghc-murmur-hash-dev-0.1.0.10-f9651, libghc-parallel-dev-3.2.2.0-7cbf2, libghc-pretty-dev-1.1.3.6-b017f, libghc-process-dev-1.6.13.2-9f25f, libghc-regex-tdfa-dev-1.3.2-1c748, libghc-split-dev-0.2.3.5-0c13f, libghc-stm-dev-2.5.0.0-4cba8, libghc-strict-dev-0.4.0.1-544cd, libghc-template-haskell-dev-2.17.0.0-7274a, libghc-text-dev-1.2.5.0-8553e, libghc-time-dev-1.9.3-bda76, libghc-transformers-dev-0.5.6.2-fc6f3, libghc-unordered-containers-dev-0.2.17.0-1d16d, libghc-uri-encode-dev-1.5.0.7-d0941, libghc-zlib-dev-0.6.3.0-57e0e, libc6 (>= 2.29), libgmp10 (>= 2:6.2.1+dfsg1), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)

Source package

Name

agda

Version

2.6.2.2-1.1

Maintainer

Debian Haskell Group

Homepage

https://wiki.portal.chalmers.se/agda/

Repository

https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda

Bugs (0 open)

No matching bugs recorded in this snapshot.