Package: libghc-agda-dev (2.6.4.3-1 and others)

Links for libghc-agda-dev

Debian Resources:

Download Source Package agda:

Maintainer:

Debian Haskell Group (QA Page, Mail Archive)

External Resources:

Homepage [wiki.portal.chalmers.se]

Similar packages:

linguaggio di programmazione funzionale tipizzato in modo dipendente

Agda è un linguaggio di programmazione funzionale tipizzato in modo dipendente: ha famiglie induttive che sono simili alle GADT di Haskell, ma possono essere indicizzate in base ai valori e non soltanto ai tipi. Ha anche moduli parametrizzati, operatori mixfix, caratteri Unicode e un'interfaccia Emacs interattiva (il verificatore dei tipi può assistere nella scrittura del codice).

Agda è anche un assistente per dimostrazioni: è un sistema interattivo per scrivere e verificare dimostrazioni. Agda è basato sulla teoria intuizionista dei tipi, un sistema fondante per lo sviluppo della matematica costruttiva creata dal logico svedese Per Martin-Löf. Ha molte similitudini con altri assistenti per dimostrazioni basati su tipi dipendenti, come Coq, Epigram e NuPRL.

Questo pacchetto fornisce una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.

Other Packages Related to libghc-agda-dev

depends

recommends

suggests

enhances

dep: libc6 (>= 2.27) [riscv64]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.29) [not alpha, ia64, riscv64]
dep: libc6.1 (>= 2.29) [alpha]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb

dep: libc6.1 (>= 2.31) [ia64]
dep: libghc-aeson-dev-1.4.7.1-269b8 [hppa]

Package not available
dep: libghc-aeson-dev-1.4.7.1-9d36e [ia64]

Package not available
dep: libghc-aeson-dev-1.4.7.1-bd1a9 [x32]

Package not available
dep: libghc-aeson-dev-1.4.7.1-dc008 [m68k]

Package not available
dep: libghc-aeson-dev-2.1.2.1-00c70 [mips64el]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-198c2 [ppc64el]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-62794 [i386]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-67576 [alpha]

Package not available
dep: libghc-aeson-dev-2.1.2.1-7e2e9 [armel]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-9bcc5 [ppc64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-9fb12 [arm64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-a3fa4 [sparc64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-b2811 [s390x]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-bcb88 [amd64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.1.2.1-dbd06 [riscv64]

virtual package provided by libghc-aeson-dev
dep: libghc-ansi-terminal-dev-1.0.2-00d4d [i386]

virtual package provided by libghc-ansi-terminal-dev
dep: libghc-ansi-terminal-dev-1.0.2-25450 [amd64, mips64el, sparc64]

virtual package provided by libghc-ansi-terminal-dev
dep: libghc-ansi-terminal-dev-1.0.2-7693e [arm64, ppc64, ppc64el, riscv64, s390x]

virtual package provided by libghc-ansi-terminal-dev
dep: libghc-ansi-terminal-dev-1.0.2-ef083 [armel]

virtual package provided by libghc-ansi-terminal-dev
dep: libghc-array-dev-0.5.4.0-0952c [alpha]

virtual package provided by ghc
dep: libghc-array-dev-0.5.4.0-2617f [x32]

virtual package provided by ghc
dep: libghc-array-dev-0.5.4.0-53f6a [ia64]

Package not available
dep: libghc-array-dev-0.5.4.0-88c34 [hppa]

Package not available
dep: libghc-array-dev-0.5.4.0-c6e35 [m68k]

Package not available
dep: libghc-array-dev-0.5.6.0-23660 [i386]

virtual package provided by ghc
dep: libghc-array-dev-0.5.6.0-3963a [armel]

virtual package provided by ghc
dep: libghc-array-dev-0.5.6.0-65c23 [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by ghc
dep: libghc-async-dev-2.2.2-5ab8b [x32]

Package not available
dep: libghc-async-dev-2.2.2-6dbe5 [m68k]

Package not available
dep: libghc-async-dev-2.2.2-c54fc [hppa]

Package not available
dep: libghc-async-dev-2.2.2-ca2f8 [ia64]

Package not available
dep: libghc-async-dev-2.2.4-2a6a6 [alpha]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-25d04 [riscv64]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-51753 [amd64]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-59a71 [ppc64]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-5e855 [s390x]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-8e111 [sparc64]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-a374a [armel]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-a3b4a [arm64]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-a4b94 [i386]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-e3bf5 [mips64el]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-f4ffe [ppc64el]

virtual package provided by libghc-async-dev
dep: libghc-base-dev-4.13.0.0-14d25 [m68k]

Package not available
dep: libghc-base-dev-4.13.0.0-7ccc0 [hppa]

Package not available
dep: libghc-base-dev-4.13.0.0-e59f8 [ia64]

Package not available
dep: libghc-base-dev-4.13.0.0-f73fa [x32]

virtual package provided by ghc
dep: libghc-base-dev-4.17.2.0-09ce5 [alpha]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-038db [i386]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-3be9b [armel]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-665fa [ppc64]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-75247 [arm64]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-c6b57 [sparc64]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-f2473 [s390x]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.7.0-108d7 [ia64]

Package not available
dep: libghc-binary-dev-0.8.7.0-13499 [m68k]

Package not available
dep: libghc-binary-dev-0.8.7.0-211e8 [x32]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.7.0-30948 [hppa]

Package not available
dep: libghc-binary-dev-0.8.9.1-0ad06 [sparc64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-15572 [i386]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-678f6 [mips64el]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-7cd62 [s390x]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-7d034 [armel]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-88a2a [arm64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-8e26a [amd64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-b7fd4 [alpha]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-c57f3 [ppc64el]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-d0c43 [ppc64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.1-fe2b9 [riscv64]

virtual package provided by ghc
dep: libghc-blaze-html-dev-0.9.1.2-073f2 [m68k]

Package not available
dep: libghc-blaze-html-dev-0.9.1.2-5c28b [hppa]

Package not available
dep: libghc-blaze-html-dev-0.9.1.2-841f6 [alpha]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.1.2-8f591 [ia64]

Package not available
dep: libghc-blaze-html-dev-0.9.1.2-f024b [x32]

Package not available
dep: libghc-blaze-html-dev-0.9.2.0-02d72 [ppc64el]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-11023 [arm64]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-116bf [mips64el]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-200d7 [armel]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-26bc6 [i386]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-27e0f [riscv64]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-2cf01 [sparc64]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-325ff [ppc64]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-8f62d [s390x]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-cce28 [amd64]

virtual package provided by libghc-blaze-html-dev
dep: libghc-boxes-dev-0.1.5-3094f [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by libghc-boxes-dev
dep: libghc-boxes-dev-0.1.5-504df [hppa]

Package not available
dep: libghc-boxes-dev-0.1.5-5dbae [x32]

Package not available
dep: libghc-boxes-dev-0.1.5-b9447 [i386]

virtual package provided by libghc-boxes-dev
dep: libghc-boxes-dev-0.1.5-c48de [alpha]

virtual package provided by libghc-boxes-dev
dep: libghc-boxes-dev-0.1.5-cdd49 [armel]

virtual package provided by libghc-boxes-dev
dep: libghc-boxes-dev-0.1.5-eec1c [ia64]

Package not available
dep: libghc-boxes-dev-0.1.5-fd6a4 [m68k]

Package not available
dep: libghc-bytestring-dev-0.10.10.1-0b9f6 [m68k]

Package not available
dep: libghc-bytestring-dev-0.10.10.1-28a1e [x32]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.10.10.1-b600e [hppa]

Package not available
dep: libghc-bytestring-dev-0.10.10.1-cf25b [ia64]

Package not available
dep: libghc-bytestring-dev-0.11.5.2-e0d06 [alpha]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-31c85 [arm64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-37410 [mips64el]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-58e77 [s390x]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-5e1ad [i386]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-7048d [amd64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-8a5b1 [ppc64el]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-97376 [ppc64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-a2862 [riscv64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-c26ed [sparc64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.11.5.3-da82b [armel]

virtual package provided by ghc
dep: libghc-case-insensitive-dev-1.2.1.0-057c7 [s390x]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-21b6f [ppc64]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-58734 [arm64]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-6bff6 [i386]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-7e04a [alpha]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-80e7d [armel]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-838ad [sparc64]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-94a09 [amd64]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-a6380 [ppc64el]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-b6d21 [riscv64]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-bc992 [mips64el]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-containers-dev-0.6.2.1-25b62 [ia64]

Package not available
dep: libghc-containers-dev-0.6.2.1-5e2b2 [x32]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.2.1-af2b0 [hppa]

Package not available
dep: libghc-containers-dev-0.6.2.1-d3aad [m68k]

Package not available
dep: libghc-containers-dev-0.6.7-138bd [armel]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.7-180cf [sparc64]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.7-3eda8 [arm64]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.7-69002 [ppc64el, riscv64]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.7-7a228 [amd64, mips64el]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.7-a1650 [alpha]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.7-a865b [i386]

virtual package provided by ghc
dep: libghc-containers-dev-0.6.7-e8181 [ppc64, s390x]

virtual package provided by ghc
dep: libghc-data-hash-dev-0.2.0.1-209dc [amd64, mips64el]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-27079 [alpha]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-2832d [ia64]

Package not available
dep: libghc-data-hash-dev-0.2.0.1-2dbd6 [i386]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-59bbd [ppc64, s390x]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-8c359 [ppc64el, riscv64]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-90337 [x32]

Package not available
dep: libghc-data-hash-dev-0.2.0.1-92158 [armel]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-9803e [sparc64]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-b656c [hppa]

Package not available
dep: libghc-data-hash-dev-0.2.0.1-ce33f [m68k]

Package not available
dep: libghc-data-hash-dev-0.2.0.1-dcee2 [arm64]

virtual package provided by libghc-data-hash-dev
dep: libghc-deepseq-dev-1.4.4.0-4a70d [m68k]

Package not available
dep: libghc-deepseq-dev-1.4.4.0-7564c [x32]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.4.4.0-a6451 [hppa]

Package not available
dep: libghc-deepseq-dev-1.4.4.0-f63ee [ia64]

Package not available
dep: libghc-deepseq-dev-1.4.8.0-ddf16 [alpha]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.4.8.1-4e034 [i386]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.4.8.1-71feb [arm64]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.4.8.1-8e335 [sparc64]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.4.8.1-9013f [amd64, mips64el]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.4.8.1-ae077 [armel]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.4.8.1-f9583 [ppc64, ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.6.0-3306f [m68k]

Package not available
dep: libghc-directory-dev-1.3.6.0-5729b [ia64]

Package not available
dep: libghc-directory-dev-1.3.6.0-e856e [hppa]

Package not available
dep: libghc-directory-dev-1.3.6.0-fb3ad [x32]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.7.1-f2d83 [alpha]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-71f9f [arm64]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-8db36 [mips64el]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-8eb88 [armel]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-98ebe [amd64]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-aca59 [ppc64, ppc64el]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-cba38 [s390x]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-d5b6b [i386]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-dd052 [riscv64]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-e88ff [sparc64]

virtual package provided by ghc
dep: libghc-dlist-dev-1.0-502c2 [armel, i386]

virtual package provided by libghc-dlist-dev
dep: libghc-dlist-dev-1.0-afbc1 [alpha]

virtual package provided by libghc-dlist-dev
dep: libghc-dlist-dev-1.0-d3ec3 [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by libghc-dlist-dev
dep: libghc-edit-distance-dev-0.2.2.1-062c6 [x32]

Package not available
dep: libghc-edit-distance-dev-0.2.2.1-154f9 [hppa]

Package not available
dep: libghc-edit-distance-dev-0.2.2.1-35d65 [ppc64, s390x, sparc64]

virtual package provided by libghc-edit-distance-dev
dep: libghc-edit-distance-dev-0.2.2.1-56d08 [alpha]

virtual package provided by libghc-edit-distance-dev
dep: libghc-edit-distance-dev-0.2.2.1-601f4 [ia64]

Package not available
dep: libghc-edit-distance-dev-0.2.2.1-6c3fe [armel, i386]

virtual package provided by libghc-edit-distance-dev
dep: libghc-edit-distance-dev-0.2.2.1-79404 [amd64, arm64, mips64el, ppc64el, riscv64]

virtual package provided by libghc-edit-distance-dev
dep: libghc-edit-distance-dev-0.2.2.1-c00ea [m68k]

Package not available
dep: libghc-equivalence-dev-0.3.5-0ba30 [x32]

Package not available
dep: libghc-equivalence-dev-0.3.5-14c3d [hppa]

Package not available
dep: libghc-equivalence-dev-0.3.5-d01b2 [ia64]

Package not available
dep: libghc-equivalence-dev-0.3.5-dc5c4 [m68k]

Package not available
dep: libghc-equivalence-dev-0.4.1-2b83e [ppc64, ppc64el, riscv64, s390x]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1-35eaa [armel]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1-52a57 [i386]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1-6eeb5 [amd64, mips64el]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1-c73b3 [sparc64]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1-c9b8d [arm64]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1-d6c01 [alpha]

virtual package provided by libghc-equivalence-dev
dep: libghc-exceptions-dev-0.10.4-13530 [x32]

Package not available
dep: libghc-exceptions-dev-0.10.4-704a6 [ia64]

Package not available
dep: libghc-exceptions-dev-0.10.4-ad177 [hppa]

Package not available
dep: libghc-exceptions-dev-0.10.4-c4f69 [m68k]

Package not available
dep: libghc-exceptions-dev-0.10.5-3dbf4 [alpha]

virtual package provided by ghc
dep: libghc-exceptions-dev-0.10.7-0356d [amd64, mips64el, sparc64]

virtual package provided by ghc
dep: libghc-exceptions-dev-0.10.7-60cb0 [i386]

virtual package provided by ghc
dep: libghc-exceptions-dev-0.10.7-b6e43 [armel]

virtual package provided by ghc
dep: libghc-exceptions-dev-0.10.7-fdf92 [arm64, ppc64, ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.2.1-38a25 [m68k]

Package not available
dep: libghc-filepath-dev-1.4.2.1-4f51d [x32]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.2.1-53885 [ia64]

Package not available
dep: libghc-filepath-dev-1.4.2.1-eb021 [hppa]

Package not available
dep: libghc-filepath-dev-1.4.2.2-290a6 [alpha]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-16f57 [armel]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-4a448 [arm64]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-4ef81 [riscv64, s390x]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-7f50a [sparc64]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-a5a56 [i386]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-c620f [mips64el]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-daa7f [ppc64, ppc64el]

virtual package provided by ghc
dep: libghc-filepath-dev-1.4.300.1-f6cd4 [amd64]

virtual package provided by ghc
dep: libghc-geniplate-mirror-dev-0.7.7-4c995 [m68k]

Package not available
dep: libghc-geniplate-mirror-dev-0.7.7-92aa7 [ia64]

Package not available
dep: libghc-geniplate-mirror-dev-0.7.7-a1138 [hppa]

Package not available
dep: libghc-geniplate-mirror-dev-0.7.7-fd15a [x32]

Package not available
dep: libghc-ghc-compact-dev-0.1.0.0-0491b [ia64]

Package not available
dep: libghc-ghc-compact-dev-0.1.0.0-13818 [armel]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-8f95f [amd64, mips64el]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-9a9c6 [x32]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-ad589 [hppa]

Package not available
dep: libghc-ghc-compact-dev-0.1.0.0-b326c [m68k]

Package not available
dep: libghc-ghc-compact-dev-0.1.0.0-cab1d [ppc64, ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-d6f68 [alpha]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-f0eee [sparc64]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-f64e0 [i386]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-fd0fc [arm64]

virtual package provided by ghc
dep: libghc-gitrev-dev-1.3.1-0e910 [alpha]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-38431 [hppa]

Package not available
dep: libghc-gitrev-dev-1.3.1-3a5b3 [m68k]

Package not available
dep: libghc-gitrev-dev-1.3.1-44bc9 [amd64, mips64el]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-73ca6 [arm64]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-88064 [i386]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-8e326 [sparc64]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-96288 [ia64]

Package not available
dep: libghc-gitrev-dev-1.3.1-a5919 [x32]

Package not available
dep: libghc-gitrev-dev-1.3.1-ab031 [ppc64, ppc64el, riscv64, s390x]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-de627 [armel]

virtual package provided by libghc-gitrev-dev
dep: libghc-hashable-dev-1.3.0.0-350ea [hppa]

Package not available
dep: libghc-hashable-dev-1.3.0.0-57884 [x32]

Package not available
dep: libghc-hashable-dev-1.3.0.0-7bb3f [ia64]

Package not available
dep: libghc-hashable-dev-1.3.0.0-cbb91 [m68k]

Package not available
dep: libghc-hashable-dev-1.4.3.0-f3706 [alpha]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-0fd68 [mips64el]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-1b435 [s390x]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-26315 [ppc64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-2c563 [ppc64el]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-3ee83 [arm64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-409e6 [armel]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-45230 [i386]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-7d422 [sparc64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-c0454 [riscv64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-fb202 [amd64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashtables-dev-1.2.3.4-244c8 [m68k]

Package not available
dep: libghc-hashtables-dev-1.2.3.4-6e20f [ia64]

Package not available
dep: libghc-hashtables-dev-1.2.3.4-c27eb [hppa]

Package not available
dep: libghc-hashtables-dev-1.2.3.4-e77d0 [x32]

Package not available
dep: libghc-haskeline-dev-0.7.5.0-215dc [hppa]

Package not available
dep: libghc-haskeline-dev-0.7.5.0-256e0 [m68k]

Package not available
dep: libghc-haskeline-dev-0.7.5.0-a024e [x32]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.7.5.0-f627a [ia64]

Package not available
dep: libghc-haskeline-dev-0.8.2-03749 [alpha]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-2332e [amd64]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-27424 [armel]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-52584 [i386]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-62e5a [sparc64]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-9c03b [riscv64]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-a290a [ppc64, ppc64el]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-ba61f [arm64]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-fb6e8 [mips64el]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-fbd3d [s390x]

virtual package provided by ghc
dep: libghc-ieee754-dev-0.8.0-3d59a [ia64]

Package not available
dep: libghc-ieee754-dev-0.8.0-42d42 [x32]

virtual package provided by libghc-ieee754-dev
dep: libghc-ieee754-dev-0.8.0-b4e76 [hppa]

Package not available
dep: libghc-ieee754-dev-0.8.0-f21f9 [m68k]

Package not available
dep: libghc-monad-control-dev-1.0.3.1-2d659 [armel]

virtual package provided by libghc-monad-control-dev
dep: libghc-monad-control-dev-1.0.3.1-8f288 [i386]

virtual package provided by libghc-monad-control-dev
dep: libghc-monad-control-dev-1.0.3.1-b8be8 [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by libghc-monad-control-dev
dep: libghc-monad-control-dev-1.0.3.1-d981c [alpha]

virtual package provided by libghc-monad-control-dev
dep: libghc-mtl-dev-2.2.2-5bd25 [ia64]

Package not available
dep: libghc-mtl-dev-2.2.2-6f39a [alpha]

virtual package provided by ghc
dep: libghc-mtl-dev-2.2.2-808ea [hppa]

Package not available
dep: libghc-mtl-dev-2.2.2-bc121 [m68k]

Package not available
dep: libghc-mtl-dev-2.2.2-c2ded [x32]

virtual package provided by ghc
dep: libghc-mtl-dev-2.3.1-831d0 [i386]

virtual package provided by ghc
dep: libghc-mtl-dev-2.3.1-c3eca [armel]

virtual package provided by ghc
dep: libghc-mtl-dev-2.3.1-f8119 [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by ghc
dep: libghc-murmur-hash-dev-0.1.0.10-29769 [armel]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.10-6f919 [sparc64]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.10-8fe95 [amd64, mips64el]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.10-a47ca [i386]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.10-a6d01 [ppc64, ppc64el, riscv64, s390x]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.10-d8188 [arm64]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.10-db7ab [alpha]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.9-02e87 [x32]

Package not available
dep: libghc-murmur-hash-dev-0.1.0.9-873f0 [m68k]

Package not available
dep: libghc-murmur-hash-dev-0.1.0.9-cc5fe [ia64]

Package not available
dep: libghc-murmur-hash-dev-0.1.0.9-ce159 [hppa]

Package not available
dep: libghc-parallel-dev-3.2.2.0-0f7bd [amd64, mips64el]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-26f96 [arm64]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-8def8 [armel]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-afc9a [alpha]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-b88e1 [ppc64, ppc64el, riscv64, s390x]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-c2e27 [sparc64]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-d52b3 [i386]

virtual package provided by libghc-parallel-dev
dep: libghc-peano-dev-0.1.0.2-9be4b [armel]

virtual package provided by libghc-peano-dev
dep: libghc-peano-dev-0.1.0.2-b239f [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by libghc-peano-dev
dep: libghc-peano-dev-0.1.0.2-fba93 [i386]

virtual package provided by libghc-peano-dev
dep: libghc-pretty-dev-1.1.3.6-1aa0a [alpha]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-21c21 [arm64]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-56d7f [sparc64]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-86d0f [m68k]

Package not available
dep: libghc-pretty-dev-1.1.3.6-8f6c9 [amd64, mips64el]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-909c8 [armel]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-a4941 [ia64]

Package not available
dep: libghc-pretty-dev-1.1.3.6-aa0be [x32]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-d6a01 [ppc64, ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-dc1c8 [hppa]

Package not available
dep: libghc-pretty-dev-1.1.3.6-f7dec [i386]

virtual package provided by ghc
dep: libghc-process-dev-1.6.17.0-44ba3 [alpha]

virtual package provided by ghc
dep: libghc-process-dev-1.6.19.0-220a3 [arm64, riscv64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.19.0-48ee2 [amd64, mips64el, ppc64, ppc64el, s390x]

virtual package provided by ghc
dep: libghc-process-dev-1.6.19.0-8642d [armel]

virtual package provided by ghc
dep: libghc-process-dev-1.6.19.0-b2683 [i386]

virtual package provided by ghc
dep: libghc-process-dev-1.6.19.0-cc4a1 [sparc64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.9.0-28faa [x32]

virtual package provided by ghc
dep: libghc-process-dev-1.6.9.0-53673 [hppa]

Package not available
dep: libghc-process-dev-1.6.9.0-6cb42 [m68k]

Package not available
dep: libghc-process-dev-1.6.9.0-d3807 [ia64]

Package not available
dep: libghc-regex-tdfa-dev-1.3.1.0-2450f [x32]

Package not available
dep: libghc-regex-tdfa-dev-1.3.1.0-3505a [m68k]

Package not available
dep: libghc-regex-tdfa-dev-1.3.1.0-a1c6c [ia64]

Package not available
dep: libghc-regex-tdfa-dev-1.3.1.0-d46ab [hppa]

Package not available
dep: libghc-regex-tdfa-dev-1.3.2.2-31e7a [ppc64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-37b64 [s390x]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-429e6 [amd64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-61d30 [ppc64el]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-78074 [i386]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-7eb01 [riscv64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-91ff2 [armel]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-d2e11 [mips64el]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-eb268 [alpha]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-f727a [sparc64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.2-f9518 [arm64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-split-dev-0.2.3.4-be2b5 [ia64]

Package not available
dep: libghc-split-dev-0.2.3.4-dc176 [x32]

Package not available
dep: libghc-split-dev-0.2.3.4-f32d3 [hppa, m68k]

Package not available
dep: libghc-split-dev-0.2.3.5-0947f [alpha]

virtual package provided by libghc-split-dev
dep: libghc-split-dev-0.2.5-3cfdd [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by libghc-split-dev
dep: libghc-split-dev-0.2.5-4406f [armel, i386]

virtual package provided by libghc-split-dev
dep: libghc-stm-dev-2.5.0.0-57792 [x32]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.0.0-7e2c4 [hppa, m68k]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.0.0-b76c2 [ia64]

Package not available
dep: libghc-stm-dev-2.5.1.0-059ff [armel]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.1.0-5d505 [i386]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.1.0-99e80 [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.1.0-c4a56 [alpha]

virtual package provided by ghc
dep: libghc-stmonadtrans-dev-0.4.7-29b5b [alpha]

virtual package provided by libghc-stmonadtrans-dev
dep: libghc-stmonadtrans-dev-0.4.8-97d29 [armel]

virtual package provided by libghc-stmonadtrans-dev
dep: libghc-stmonadtrans-dev-0.4.8-ab545 [i386]

virtual package provided by libghc-stmonadtrans-dev
dep: libghc-stmonadtrans-dev-0.4.8-b519e [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by libghc-stmonadtrans-dev
dep: libghc-strict-dev-0.3.2-14856 [ia64]

Package not available
dep: libghc-strict-dev-0.3.2-2a3be [hppa]

Package not available
dep: libghc-strict-dev-0.3.2-82e6c [m68k]

Package not available
dep: libghc-strict-dev-0.3.2-ce4ca [x32]

Package not available
dep: libghc-strict-dev-0.5-07520 [sparc64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-19054 [i386]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-324ae [mips64el]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-61c83 [arm64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-66eae [ppc64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-9cb69 [armel]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-aee4d [amd64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-ba779 [alpha]

Package not available
dep: libghc-strict-dev-0.5-d27fd [riscv64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-e2711 [ppc64el]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5-eed21 [s390x]

virtual package provided by libghc-strict-dev
dep: libghc-template-haskell-dev-2.15.0.0-20dec [ia64]

Package not available
dep: libghc-template-haskell-dev-2.15.0.0-d6597 [hppa]

Package not available
dep: libghc-template-haskell-dev-2.15.0.0-dd3f2 [x32]

virtual package provided by ghc
dep: libghc-template-haskell-dev-2.15.0.0-ed5e6 [m68k]

Package not available
dep: libghc-text-dev-1.2.4.0-3e1ef [x32]

virtual package provided by ghc
dep: libghc-text-dev-1.2.4.0-5116f [hppa]

Package not available
dep: libghc-text-dev-1.2.4.0-5f754 [ia64]

Package not available
dep: libghc-text-dev-1.2.4.0-cb487 [m68k]

Package not available
dep: libghc-text-dev-2.0.2-0adc3 [mips64el]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-41553 [s390x]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-5b954 [amd64]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-62568 [i386]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-6ce8f [sparc64]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-974c0 [riscv64]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-b0ed7 [alpha]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-ca8a7 [ppc64el]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-da1a9 [armel]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-e27a3 [ppc64]

virtual package provided by ghc
dep: libghc-text-dev-2.0.2-edcc7 [arm64]

virtual package provided by ghc
dep: libghc-time-compat-dev-1.9.6.1-6d707 [ppc64el]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-8f2e5 [i386]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-a9589 [amd64]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-b7a99 [sparc64]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-c7c75 [ppc64]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-cab11 [riscv64]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-cb63b [arm64]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-e6ce8 [s390x]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-e8164 [mips64el]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-f77a4 [alpha]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-compat-dev-1.9.6.1-fc316 [armel]

virtual package provided by libghc-time-compat-dev
dep: libghc-time-dev-1.12.2-17989 [i386]

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-2cc4e [ppc64, ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-491a0 [alpha]

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-a9ccc [arm64]

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-ca93d [sparc64]

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-d0f76 [armel]

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-eb20f [amd64, mips64el]

virtual package provided by ghc
dep: libghc-time-dev-1.9.3-28cba [x32]

virtual package provided by ghc
dep: libghc-time-dev-1.9.3-678fe [hppa]

Package not available
dep: libghc-time-dev-1.9.3-9e69a [m68k]

Package not available
dep: libghc-time-dev-1.9.3-f5018 [ia64]

Package not available
dep: libghc-transformers-dev-0.5.6.2-00bc3 [ia64]

Package not available
dep: libghc-transformers-dev-0.5.6.2-2970e [x32]

virtual package provided by ghc
dep: libghc-transformers-dev-0.5.6.2-6116e [m68k]

Package not available
dep: libghc-transformers-dev-0.5.6.2-8bd9f [hppa]

Package not available
dep: libghc-transformers-dev-0.5.6.2-931c3 [alpha]

virtual package provided by ghc
dep: libghc-transformers-dev-0.6.1.0-5335d [not alpha, armel, hppa, i386, ia64, m68k, x32]

virtual package provided by ghc
dep: libghc-transformers-dev-0.6.1.0-6ad3c [armel]

virtual package provided by ghc
dep: libghc-transformers-dev-0.6.1.0-b6e44 [i386]

virtual package provided by ghc
dep: libghc-unordered-containers-dev-0.2.10.0-01ada [ia64]

Package not available
dep: libghc-unordered-containers-dev-0.2.10.0-5d679 [hppa]

Package not available
dep: libghc-unordered-containers-dev-0.2.10.0-709b5 [x32]

Package not available
dep: libghc-unordered-containers-dev-0.2.10.0-a85c0 [m68k]

Package not available
dep: libghc-unordered-containers-dev-0.2.19.1-2504b [alpha]

Package not available
dep: libghc-unordered-containers-dev-0.2.20-0188a [mips64el]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-13c3d [s390x]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-9a4bc [ppc64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-a0e00 [amd64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-a9ad3 [sparc64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-af5f1 [riscv64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-ba4ff [armel]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-bef9d [arm64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-d2679 [i386]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20-d68c2 [ppc64el]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-uri-encode-dev-1.5.0.6-08969 [m68k]

Package not available
dep: libghc-uri-encode-dev-1.5.0.6-3cf9e [x32]

Package not available
dep: libghc-uri-encode-dev-1.5.0.6-64030 [hppa]

Package not available
dep: libghc-uri-encode-dev-1.5.0.6-ab387 [ia64]

Package not available
dep: libghc-uri-encode-dev-1.5.0.7-03920 [ppc64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-2b6b2 [ppc64el]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-3389f [armel]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-393f5 [alpha]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-4fa87 [amd64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-6b07f [sparc64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-6da48 [arm64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-80cc4 [i386]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-9129d [riscv64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-a8ea4 [mips64el]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-ae86e [s390x]

virtual package provided by libghc-uri-encode-dev
dep: libghc-vector-dev-0.13.1.0-123f2 [alpha]

Package not available
dep: libghc-vector-dev-0.13.1.0-15849 [ppc64, ppc64el, s390x]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.1.0-7ae99 [sparc64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.1.0-a34b3 [riscv64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.1.0-abd16 [armel]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.1.0-c924b [arm64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.1.0-ca5d5 [amd64, mips64el]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.1.0-dfd19 [i386]

virtual package provided by libghc-vector-dev
dep: libghc-vector-hashtables-dev-0.1.1.3-76862 [alpha]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-160b5 [s390x]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-28d0d [sparc64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-3df2f [i386]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-428e7 [amd64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-43ca5 [riscv64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-71f96 [mips64el]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-9aca8 [ppc64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-b9c25 [ppc64el]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-bcae3 [armel]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.0-c7753 [arm64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-zlib-dev-0.6.2.2-3ddfb [x32]

Package not available
dep: libghc-zlib-dev-0.6.2.2-7d0bf [ia64]

Package not available
dep: libghc-zlib-dev-0.6.2.2-bddec [hppa]

Package not available
dep: libghc-zlib-dev-0.6.2.2-e7168 [m68k]

Package not available
dep: libghc-zlib-dev-0.6.3.0-0add8 [ppc64, ppc64el, riscv64, s390x]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.6.3.0-24b10 [armel]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.6.3.0-436de [amd64, mips64el]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.6.3.0-5c26f [sparc64]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.6.3.0-aa104 [i386]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.6.3.0-b4315 [alpha]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.6.3.0-e8f80 [arm64]

virtual package provided by libghc-zlib-dev
dep: libgmp10 [ia64]

libreria aritmetica a precisione multipla

dep: libgmp10 (>= 2:6.2.1+dfsg) [hppa, m68k]

dep: libgmp10 (>= 2:6.3.0+dfsg) [not hppa, ia64, m68k, x32]
dep: libtinfo6 (>= 6)

libreria condivisa di basso livello terminfo per la gestione del terminale
dep: zlib1g (>= 1:1.1.4)

libreria di compressione - runtime

sug: libghc-agda-doc

linguaggio di programmazione funzionale tipizzato in modo dipendente; documentazione

Download libghc-agda-dev

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.6.3-1	37,219.9 kB	432,656.0 kB	[list of files]
amd64	2.6.4.3-1	22,312.5 kB	215,580.0 kB	[list of files]
arm64	2.6.4.3-1	23,894.0 kB	252,218.0 kB	[list of files]
armel	2.6.4.3-1+b1	30,469.8 kB	270,734.0 kB	[list of files]
hppa (unofficial port)	2.6.1-1+b3	69,063.5 kB	843,686.0 kB	[list of files]
i386	2.6.4.3-1+b1	36,481.6 kB	290,174.0 kB	[list of files]
ia64 (unofficial port)	2.6.1-1+b1	67,508.4 kB	1,614,526.0 kB	[list of files]
m68k (unofficial port)	2.6.1-1+b1	60,220.5 kB	618,821.0 kB	[list of files]
mips64el	2.6.4.3-1+b1	33,067.7 kB	398,774.0 kB	[list of files]
ppc64 (unofficial port)	2.6.4.3-1	28,628.4 kB	391,359.0 kB	[list of files]
ppc64el	2.6.4.3-1	29,773.5 kB	350,758.0 kB	[list of files]
riscv64	2.6.4.3-1	40,684.0 kB	445,815.0 kB	[list of files]
s390x	2.6.4.3-1	39,535.3 kB	452,611.0 kB	[list of files]
sparc64 (unofficial port)	2.6.4.3-1	36,539.8 kB	573,215.0 kB	[list of files]
x32 (unofficial port)	2.6.1-1+b2	68,192.5 kB	652,757.0 kB	[list of files]