This package is 10.2 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/agda/libghc-agda-dev_2.4.2.5-1build1_amd64.deb
.
View its full control file here:
debian/control.
dependently typed functional programming language
This package depends on:
libc6 (>= 2.2.5), libghc-quickcheck-dev-2.8.1-3b4e5, libghc-array-dev-0.5.1.0-960bf, libghc-base-dev-4.8.2.0-0d6d1, libghc-binary-dev-0.7.5.0-bf6a9, libghc-boxes-dev-0.1.4-540f7, libghc-bytestring-dev-0.10.6.0-9a873, libghc-containers-dev-0.5.6.2-59326, libghc-data-hash-dev-0.2.0.1-f4dbc, libghc-deepseq-dev-1.4.1.1-614b6, libghc-directory-dev-1.2.2.0-660a7, libghc-edit-distance-dev-0.2.2.1-9d389, libghc-equivalence-dev-0.3.1-bc260, libghc-filepath-dev-1.4.0.0-f97d1, libghc-geniplate-mirror-dev-0.7.1-31783, libghc-hashable-dev-1.2.3.3-ce7af, libghc-hashtables-dev-1.2.1.0-cde8e, libghc-haskeline-dev-0.7.2.1-ee66b, libghc-haskell-src-exts-dev-1.17.1-5b24e, libghc-mtl-dev-2.2.1-3af90, libghc-parallel-dev-3.2.1.0-13fa5, libghc-pretty-dev-1.1.2.0-5cc41, libghc-process-dev-1.2.3.0-a2232, libghc-strict-dev-0.3.2-83c3e, libghc-template-haskell-dev-2.10.0.0-3c4cb, libghc-text-dev-1.2.2.0-2c09c, libghc-time-dev-1.5.0.1-1b9a5, libghc-transformers-dev-0.4.2.0-81450, libghc-transformers-compat-dev-0.4.0.4-8aa40, libghc-unordered-containers-dev-0.2.5.1-a371f, libghc-xhtml-dev-3000.2.1-e0059, libghc-zlib-dev-0.6.1.1-15b43.
This package does not recommend any other package.
This package suggests:
libghc-agda-doc.
This package does not conflict with any other package.
libghc-agda-dev 2.4.2.5-1build1 is in ubuntu - xenial / universe. This package's architecture is: amd64.
This package will not be indexed since your user agent reports your browser is a bot.