Package: libghc-agda-dev (2.8.0-2 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, loong64, riscv64]

dep: libc6 (>= 2.42) [loong64]
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-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-85e95 [hppa]

Package not available
dep: libghc-aeson-dev-2.1.2.1-9bcc5 [ppc64]

Package not available
dep: libghc-aeson-dev-2.2.3.0-2aed4 [sparc64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.2.3.0-3714f [loong64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.2.3.0-3d551 [i386]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.2.3.0-45250 [s390x]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.2.3.0-76270 [alpha]

Package not available
dep: libghc-aeson-dev-2.2.3.0-8cd5f [arm64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.2.3.0-b6cc1 [ppc64el]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.2.3.0-be989 [riscv64]

virtual package provided by libghc-aeson-dev
dep: libghc-aeson-dev-2.2.3.0-cb63e [amd64]

virtual package provided by libghc-aeson-dev
dep: libghc-ansi-terminal-dev-1.0.2-53e9d [hppa]

Package not available
dep: libghc-ansi-terminal-dev-1.0.2-7693e [ppc64]

Package not available
dep: libghc-ansi-terminal-dev-1.1.5-70b23 [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by libghc-ansi-terminal-dev
dep: libghc-ansi-terminal-dev-1.1.5-9bc8f [i386]

virtual package provided by libghc-ansi-terminal-dev
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-c6e35 [m68k]

Package not available
dep: libghc-array-dev-0.5.6.0-3963a [hppa]

virtual package provided by ghc
dep: libghc-array-dev-0.5.6.0-65c23 [ppc64]

virtual package provided by ghc
dep: libghc-array-dev-0.5.8.0-c4336 [i386]

virtual package provided by ghc
dep: libghc-array-dev-0.5.8.0-fa0dd [not hppa, i386, ia64, m68k, ppc64, 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-ca2f8 [ia64]

Package not available
dep: libghc-async-dev-2.2.5-15417 [s390x]

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

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-468d2 [alpha, amd64, loong64]

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

Package not available
dep: libghc-async-dev-2.2.5-79310 [i386]

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-bda5a [ppc64el, riscv64]

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

virtual package provided by libghc-async-dev
dep: libghc-async-dev-2.2.5-d11d7 [hppa]

Package not available
dep: libghc-base-dev-4.13.0.0-14d25 [m68k]

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.18.2.1-665fa [ppc64]

Package not available
dep: libghc-base-dev-4.18.2.1-e617e [hppa]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-08385 [arm64]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-0e259 [alpha]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-1162a [loong64]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-30faa [riscv64]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-47ff0 [amd64]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-62d1f [i386]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-96920 [ppc64el]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-c4d33 [sparc64]

virtual package provided by ghc
dep: libghc-base-dev-4.20.2.0-e941f [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.9.1-1fcc0 [hppa]

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

Package not available
dep: libghc-binary-dev-0.8.9.3-23190 [s390x]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.3-93551 [arm64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.3-9841b [alpha, amd64, loong64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.3-d03f5 [ppc64el, riscv64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.3-e3ef7 [sparc64]

virtual package provided by ghc
dep: libghc-binary-dev-0.8.9.3-efd69 [i386]

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-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-0dac0 [amd64]

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

Package not available
dep: libghc-blaze-html-dev-0.9.2.0-3db7d [s390x]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-580a2 [hppa]

Package not available
dep: libghc-blaze-html-dev-0.9.2.0-69f59 [ppc64el]

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-9dc9d [sparc64]

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

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

virtual package provided by libghc-blaze-html-dev
dep: libghc-blaze-html-dev-0.9.2.0-d4726 [alpha, loong64]

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

virtual package provided by libghc-blaze-html-dev
dep: libghc-boxes-dev-0.1.5-17452 [i386]

virtual package provided by libghc-boxes-dev
dep: libghc-boxes-dev-0.1.5-1834f [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by libghc-boxes-dev
dep: libghc-boxes-dev-0.1.5-3094f [ppc64]

virtual package provided by libghc-boxes-dev
dep: libghc-boxes-dev-0.1.5-5dbae [x32]

Package not available
dep: libghc-boxes-dev-0.1.5-cdd49 [hppa]

Package not available
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-cf25b [ia64]

Package not available
dep: libghc-bytestring-dev-0.11.5.3-97376 [ppc64]

Package not available
dep: libghc-bytestring-dev-0.11.5.3-e3f87 [hppa]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-70951 [ppc64el]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-79ec1 [alpha, loong64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-a5c2d [i386]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-a813d [riscv64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-d528c [amd64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-d8575 [s390x]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-ea2c7 [arm64]

virtual package provided by ghc
dep: libghc-bytestring-dev-0.12.2.0-ef254 [sparc64]

virtual package provided by ghc
dep: libghc-case-insensitive-dev-1.2.1.0-06172 [hppa]

Package not available
dep: libghc-case-insensitive-dev-1.2.1.0-12667 [sparc64]

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

Package not available
dep: libghc-case-insensitive-dev-1.2.1.0-4b119 [i386]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-518fa [s390x]

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-56e26 [alpha, amd64, loong64]

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

virtual package provided by libghc-case-insensitive-dev
dep: libghc-case-insensitive-dev-1.2.1.0-a81c5 [ppc64el, riscv64]

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-d3aad [m68k]

Package not available
dep: libghc-containers-dev-0.6.7-338ff [hppa]

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

Package not available
dep: libghc-containers-dev-0.7-0c6d4 [alpha, amd64, loong64]

virtual package provided by ghc
dep: libghc-containers-dev-0.7-1229a [arm64]

virtual package provided by ghc
dep: libghc-containers-dev-0.7-35521 [s390x]

virtual package provided by ghc
dep: libghc-containers-dev-0.7-c4f2c [sparc64]

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

virtual package provided by ghc
dep: libghc-containers-dev-0.7-e6ef6 [i386]

virtual package provided by ghc
dep: libghc-data-hash-dev-0.2.0.1-1e750 [sparc64]

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-2f24f [ppc64el, riscv64]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-44969 [s390x]

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

Package not available
dep: libghc-data-hash-dev-0.2.0.1-59bbd [ppc64]

Package not available
dep: libghc-data-hash-dev-0.2.0.1-7d1bb [alpha, amd64, loong64]

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-c32b5 [arm64]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-c8701 [i386]

virtual package provided by libghc-data-hash-dev
dep: libghc-data-hash-dev-0.2.0.1-ce33f [m68k]

Package not available
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-f63ee [ia64]

Package not available
dep: libghc-deepseq-dev-1.4.8.1-a090a [hppa]

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

Package not available
dep: libghc-deepseq-dev-1.5.0.0-1117d [ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.5.0.0-35545 [sparc64]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.5.0.0-5309b [arm64]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.5.0.0-81203 [i386]

virtual package provided by ghc
dep: libghc-deepseq-dev-1.5.0.0-d390d [alpha, amd64, loong64]

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-fb3ad [x32]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-1f094 [amd64]

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

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

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-9c066 [ppc64el]

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

Package not available
dep: libghc-directory-dev-1.3.8.5-b904d [arm64]

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

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

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-da17b [hppa]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-de665 [loong64]

virtual package provided by ghc
dep: libghc-directory-dev-1.3.8.5-fe377 [alpha]

virtual package provided by ghc
dep: libghc-dlist-dev-1.0-1be63 [i386]

virtual package provided by libghc-dlist-dev
dep: libghc-dlist-dev-1.0-502c2 [hppa]

Package not available
dep: libghc-dlist-dev-1.0-761a6 [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by libghc-dlist-dev
dep: libghc-dlist-dev-1.0-d3ec3 [ppc64]

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-3060f [s390x, sparc64]

virtual package provided by libghc-edit-distance-dev
dep: libghc-edit-distance-dev-0.2.2.1-35d65 [ppc64]

Package not available
dep: libghc-edit-distance-dev-0.2.2.1-4158b [i386]

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-c00ea [m68k]

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

Package not available
dep: libghc-edit-distance-dev-0.2.2.1-fed42 [alpha, amd64, arm64, loong64, ppc64el, riscv64]

virtual package provided by libghc-edit-distance-dev
dep: libghc-enummapset-dev-0.7.3.0-68670 [s390x]

virtual package provided by libghc-enummapset-dev
dep: libghc-enummapset-dev-0.7.3.0-8024c [riscv64]

virtual package provided by libghc-enummapset-dev
dep: libghc-enummapset-dev-0.7.3.0-99c9c [i386]

virtual package provided by libghc-enummapset-dev
dep: libghc-enummapset-dev-0.7.3.0-9c2a7 [arm64]

virtual package provided by libghc-enummapset-dev
dep: libghc-enummapset-dev-0.7.3.0-b0175 [ppc64el]

virtual package provided by libghc-enummapset-dev
dep: libghc-enummapset-dev-0.7.3.0-b47c5 [amd64]

virtual package provided by libghc-enummapset-dev
dep: libghc-enummapset-dev-0.7.3.0-bb522 [sparc64]

virtual package provided by libghc-enummapset-dev
dep: libghc-enummapset-dev-0.7.3.0-f5d96 [alpha]

Package not available
dep: libghc-enummapset-dev-0.7.3.0-f64aa [loong64]

virtual package provided by libghc-enummapset-dev
dep: libghc-equivalence-dev-0.3.5-0ba30 [x32]

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]

Package not available
dep: libghc-equivalence-dev-0.4.1-716ec [hppa]

Package not available
dep: libghc-equivalence-dev-0.4.1.1-33465 [ppc64el, riscv64, s390x]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1.1-3dc0b [i386]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1.1-71cab [sparc64]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1.1-8fb29 [arm64]

virtual package provided by libghc-equivalence-dev
dep: libghc-equivalence-dev-0.4.1.1-d6cd4 [alpha, amd64, loong64]

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-c4f69 [m68k]

Package not available
dep: libghc-exceptions-dev-0.10.7-f85e6 [hppa]

virtual package provided by ghc
dep: libghc-exceptions-dev-0.10.7-fdf92 [ppc64]

Package not available
dep: libghc-exceptions-dev-0.10.9-0cd6e [i386]

virtual package provided by ghc
dep: libghc-exceptions-dev-0.10.9-2170c [arm64, ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-exceptions-dev-0.10.9-d3a18 [alpha, amd64, loong64, sparc64]

virtual package provided by ghc
dep: libghc-filelock-dev-0.1.1.8-03649 [s390x]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-17366 [ppc64el]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-1f87b [riscv64]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-302d9 [arm64]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-41f33 [loong64]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-46750 [i386]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-ce4db [sparc64]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-d0beb [amd64]

virtual package provided by libghc-filelock-dev
dep: libghc-filelock-dev-0.1.1.8-e15d2 [alpha]

virtual package provided by libghc-filelock-dev
dep: libghc-filemanip-dev-0.3.6.3-0bb6f [alpha]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-21bc8 [i386]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-4c05b [arm64]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-6f971 [loong64]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-8aa14 [riscv64]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-8c296 [amd64]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-af545 [ppc64el]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-c2a97 [sparc64]

virtual package provided by libghc-filemanip-dev
dep: libghc-filemanip-dev-0.3.6.3-f7395 [s390x]

virtual package provided by libghc-filemanip-dev
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.300.1-a696b [hppa]

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

Package not available
dep: libghc-filepath-dev-1.5.4.0-07bd5 [s390x]

virtual package provided by ghc
dep: libghc-filepath-dev-1.5.4.0-29dd7 [alpha, amd64, loong64]

virtual package provided by ghc
dep: libghc-filepath-dev-1.5.4.0-2f955 [arm64]

virtual package provided by ghc
dep: libghc-filepath-dev-1.5.4.0-62f4d [sparc64]

virtual package provided by ghc
dep: libghc-filepath-dev-1.5.4.0-6f69d [i386]

virtual package provided by ghc
dep: libghc-filepath-dev-1.5.4.0-d57b3 [ppc64el, riscv64]

virtual package provided by ghc
dep: libghc-generic-data-dev-1.1.0.2-2ddaf [alpha, loong64, ppc64el]

virtual package provided by libghc-generic-data-dev
dep: libghc-generic-data-dev-1.1.0.2-38295 [sparc64]

virtual package provided by libghc-generic-data-dev
dep: libghc-generic-data-dev-1.1.0.2-5af29 [i386]

virtual package provided by libghc-generic-data-dev
dep: libghc-generic-data-dev-1.1.0.2-6d203 [s390x]

virtual package provided by libghc-generic-data-dev
dep: libghc-generic-data-dev-1.1.0.2-b1442 [amd64, arm64, riscv64]

virtual package provided by libghc-generic-data-dev
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-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-43e39 [ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-ghc-compact-dev-0.1.0.0-4dfe6 [alpha, amd64, loong64]

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

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

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-a2a96 [hppa]

virtual package provided by ghc
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]

Package not available
dep: libghc-ghc-compact-dev-0.1.0.0-f3d81 [arm64]

virtual package provided by ghc
dep: libghc-gitrev-dev-1.3.1-18ca6 [sparc64]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-24493 [ppc64el, riscv64, s390x]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-3a5b3 [m68k]

Package not available
dep: libghc-gitrev-dev-1.3.1-46fee [arm64]

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

Package not available
dep: libghc-gitrev-dev-1.3.1-616c7 [alpha, amd64, loong64]

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-99892 [i386]

virtual package provided by libghc-gitrev-dev
dep: libghc-gitrev-dev-1.3.1-a5919 [x32]

Package not available
dep: libghc-gitrev-dev-1.3.1-ab031 [ppc64]

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.4.0-26315 [ppc64]

Package not available
dep: libghc-hashable-dev-1.4.4.0-fc48d [hppa]

Package not available
dep: libghc-hashable-dev-1.5.0.0-55e0a [ppc64el, riscv64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.5.0.0-6b1a9 [alpha, amd64, loong64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.5.0.0-71d8e [sparc64]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.5.0.0-ae8c3 [s390x]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.5.0.0-ba1a3 [i386]

virtual package provided by libghc-hashable-dev
dep: libghc-hashable-dev-1.5.0.0-f8585 [arm64]

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-e77d0 [x32]

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.1-07b21 [s390x]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-095f5 [hppa]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-14c80 [sparc64]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-2003b [riscv64]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-30803 [ppc64el]

virtual package provided by ghc
dep: libghc-haskeline-dev-0.8.2.1-4b16a [alpha]

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

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

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

Package not available
dep: libghc-haskeline-dev-0.8.2.1-bce34 [loong64]

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

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-f21f9 [m68k]

Package not available
dep: libghc-monad-control-dev-1.0.3.1-15977 [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by libghc-monad-control-dev
dep: libghc-monad-control-dev-1.0.3.1-29fa6 [i386]

virtual package provided by libghc-monad-control-dev
dep: libghc-monad-control-dev-1.0.3.1-2d659 [hppa]

Package not available
dep: libghc-monad-control-dev-1.0.3.1-b8be8 [ppc64]

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-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-a7bc5 [i386]

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

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

virtual package provided by ghc
dep: libghc-mtl-dev-2.3.1-f8119 [ppc64]

virtual package provided by ghc
dep: libghc-murmur-hash-dev-0.1.0.10-0b35d [hppa]

Package not available
dep: libghc-murmur-hash-dev-0.1.0.10-a6d01 [ppc64]

Package not available
dep: libghc-murmur-hash-dev-0.1.0.11-3eeae [alpha, amd64, loong64]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.11-83917 [sparc64]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.11-a6a7d [i386]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.11-c3fd9 [ppc64el, riscv64, s390x]

virtual package provided by libghc-murmur-hash-dev
dep: libghc-murmur-hash-dev-0.1.0.11-fc3c1 [arm64]

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-nonempty-containers-dev-0.3.5.0-2379e [sparc64]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-nonempty-containers-dev-0.3.5.0-50fe0 [alpha]

Package not available
dep: libghc-nonempty-containers-dev-0.3.5.0-8f957 [amd64]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-nonempty-containers-dev-0.3.5.0-91514 [s390x]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-nonempty-containers-dev-0.3.5.0-9cd3f [ppc64el]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-nonempty-containers-dev-0.3.5.0-bb481 [riscv64]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-nonempty-containers-dev-0.3.5.0-d05ab [arm64]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-nonempty-containers-dev-0.3.5.0-f5e89 [i386]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-nonempty-containers-dev-0.3.5.0-f653e [loong64]

virtual package provided by libghc-nonempty-containers-dev
dep: libghc-parallel-dev-3.2.2.0-0e0d4 [sparc64]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-19b5c [alpha, amd64, loong64]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-5e736 [hppa]

Package not available
dep: libghc-parallel-dev-3.2.2.0-b604d [ppc64el, riscv64, s390x]

virtual package provided by libghc-parallel-dev
dep: libghc-parallel-dev-3.2.2.0-b88e1 [ppc64]

Package not available
dep: libghc-parallel-dev-3.2.2.0-ce570 [i386]

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

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

Package not available
dep: libghc-peano-dev-0.1.0.2-b239f [ppc64]

virtual package provided by libghc-peano-dev
dep: libghc-peano-dev-0.1.0.3-7ee1a [i386]

virtual package provided by libghc-peano-dev
dep: libghc-peano-dev-0.1.0.3-af10a [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by libghc-peano-dev
dep: libghc-pqueue-dev-1.5.0.0-14253 [alpha, loong64]

virtual package provided by libghc-pqueue-dev
dep: libghc-pqueue-dev-1.5.0.0-a7f6c [i386]

virtual package provided by libghc-pqueue-dev
dep: libghc-pqueue-dev-1.5.0.0-c34f3 [amd64]

virtual package provided by libghc-pqueue-dev
dep: libghc-pqueue-dev-1.5.0.0-c52f5 [sparc64]

virtual package provided by libghc-pqueue-dev
dep: libghc-pqueue-dev-1.5.0.0-d61ab [arm64]

virtual package provided by libghc-pqueue-dev
dep: libghc-pqueue-dev-1.5.0.0-daf8a [s390x]

virtual package provided by libghc-pqueue-dev
dep: libghc-pqueue-dev-1.5.0.0-db293 [riscv64]

virtual package provided by libghc-pqueue-dev
dep: libghc-pqueue-dev-1.5.0.0-efd38 [ppc64el]

virtual package provided by libghc-pqueue-dev
dep: libghc-pretty-dev-1.1.3.6-139d3 [hppa]

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

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-a467b [sparc64]

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-a5542 [i386]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-aa0be [x32]

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

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

Package not available
dep: libghc-pretty-dev-1.1.3.6-f6a4f [alpha, amd64, loong64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.19.0-48ee2 [ppc64]

Package not available
dep: libghc-process-dev-1.6.19.0-8642d [hppa]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-4439d [loong64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-4d56c [riscv64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-6007b [alpha]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-713a8 [i386]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-7e17b [ppc64el, s390x]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-8c46d [sparc64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-92ff0 [amd64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.26.1-c4238 [arm64]

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-6cb42 [m68k]

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

Package not available
dep: libghc-process-extras-dev-0.7.4-1a5f3 [loong64]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-39589 [i386]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-486e9 [sparc64]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-4ca4f [s390x]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-53bcd [amd64]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-d4067 [ppc64el]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-eda7c [arm64]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-f0f4f [riscv64]

virtual package provided by libghc-process-extras-dev
dep: libghc-process-extras-dev-0.7.4-f8b17 [alpha]

virtual package provided by libghc-process-extras-dev
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.2.2-31e7a [ppc64]

Package not available
dep: libghc-regex-tdfa-dev-1.3.2.2-9729b [hppa]

Package not available
dep: libghc-regex-tdfa-dev-1.3.2.5-1b5a6 [i386]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.5-24462 [sparc64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.5-61053 [s390x]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.5-a88ee [arm64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.5-d17ac [ppc64el, riscv64]

virtual package provided by libghc-regex-tdfa-dev
dep: libghc-regex-tdfa-dev-1.3.2.5-e9355 [alpha, amd64, loong64]

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 [m68k]

Package not available
dep: libghc-split-dev-0.2.5-1ef76 [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by libghc-split-dev
dep: libghc-split-dev-0.2.5-3cfdd [ppc64]

virtual package provided by libghc-split-dev
dep: libghc-split-dev-0.2.5-4406f [hppa]

Package not available
dep: libghc-split-dev-0.2.5-54a29 [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 [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 [hppa]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.1.0-99e80 [ppc64]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.3.1-c6719 [i386]

virtual package provided by ghc
dep: libghc-stm-dev-2.5.3.1-e22ee [not hppa, i386, ia64, m68k, ppc64, x32]

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

Package not available
dep: libghc-stmonadtrans-dev-0.4.8-b519e [ppc64]

virtual package provided by libghc-stmonadtrans-dev
dep: libghc-stmonadtrans-dev-0.4.8.1-1d4ab [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by libghc-stmonadtrans-dev
dep: libghc-stmonadtrans-dev-0.4.8.1-f55c8 [i386]

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-82e6c [m68k]

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

Package not available
dep: libghc-strict-dev-0.5-66eae [ppc64]

Package not available
dep: libghc-strict-dev-0.5-f846b [hppa]

Package not available
dep: libghc-strict-dev-0.5.1-2c808 [s390x]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5.1-3e17c [arm64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5.1-5262c [alpha, amd64, loong64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5.1-a8799 [ppc64el, riscv64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5.1-bbc3e [sparc64]

virtual package provided by libghc-strict-dev
dep: libghc-strict-dev-0.5.1-e625a [i386]

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-dd3f2 [x32]

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

Package not available
dep: libghc-template-haskell-dev-2.22.0.0-5bb6e [alpha, amd64, loong64]

virtual package provided by ghc
dep: libghc-template-haskell-dev-2.22.0.0-73f85 [sparc64]

virtual package provided by ghc
dep: libghc-template-haskell-dev-2.22.0.0-8f18d [i386]

virtual package provided by ghc
dep: libghc-template-haskell-dev-2.22.0.0-b64d1 [ppc64el, riscv64, s390x]

virtual package provided by ghc
dep: libghc-template-haskell-dev-2.22.0.0-ee03a [arm64]

virtual package provided by ghc
dep: libghc-text-dev-1.2.4.0-3e1ef [x32]

virtual package provided by ghc
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-156a3 [hppa]

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

Package not available
dep: libghc-text-dev-2.1.3-07dea [i386]

virtual package provided by ghc
dep: libghc-text-dev-2.1.3-43f3a [sparc64]

virtual package provided by ghc
dep: libghc-text-dev-2.1.3-51fd5 [s390x]

virtual package provided by ghc
dep: libghc-text-dev-2.1.3-528f6 [arm64]

virtual package provided by ghc
dep: libghc-text-dev-2.1.3-6c132 [ppc64el, riscv64]

virtual package provided by ghc
dep: libghc-text-dev-2.1.3-8ae9a [alpha, amd64, loong64]

virtual package provided by ghc
dep: libghc-time-compat-dev-1.9.6.1-15145 [hppa]

Package not available
dep: libghc-time-compat-dev-1.9.6.1-c7c75 [ppc64]

Package not available
dep: libghc-time-dev-1.12.2-2cc4e [ppc64]

Package not available
dep: libghc-time-dev-1.12.2-3b111 [alpha, amd64, loong64]

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-5035c [i386]

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

virtual package provided by ghc
dep: libghc-time-dev-1.12.2-6bde0 [hppa]

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

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

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-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.6.1.0-5335d [ppc64]

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

virtual package provided by ghc
dep: libghc-transformers-dev-0.6.1.1-26140 [not hppa, i386, ia64, m68k, ppc64, x32]

virtual package provided by ghc
dep: libghc-transformers-dev-0.6.1.1-fe3a5 [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-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.20-65adb [hppa]

Package not available
dep: libghc-unordered-containers-dev-0.2.20-9a4bc [ppc64]

Package not available
dep: libghc-unordered-containers-dev-0.2.20.1-0d733 [amd64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20.1-3fed9 [ppc64el]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20.1-580af [sparc64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20.1-59ef5 [arm64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20.1-6f91c [riscv64]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20.1-c3b0f [s390x]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20.1-f5d74 [i386]

virtual package provided by libghc-unordered-containers-dev
dep: libghc-unordered-containers-dev-0.2.20.1-f7d19 [alpha, loong64]

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-ab387 [ia64]

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

Package not available
dep: libghc-uri-encode-dev-1.5.0.7-23233 [i386]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-2ac03 [sparc64]

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

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-782a6 [hppa]

Package not available
dep: libghc-uri-encode-dev-1.5.0.7-7d849 [arm64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-c4cbc [ppc64el, riscv64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-uri-encode-dev-1.5.0.7-f9375 [alpha, amd64, loong64]

virtual package provided by libghc-uri-encode-dev
dep: libghc-vector-dev-0.13.1.0-15849 [ppc64]

Package not available
dep: libghc-vector-dev-0.13.1.0-d4ff0 [hppa]

Package not available
dep: libghc-vector-dev-0.13.2.0-0bcd0 [riscv64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-54e58 [sparc64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-566f6 [s390x]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-57b80 [amd64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-85a7e [loong64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-b3aec [arm64]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-f580f [ppc64el]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-fd207 [alpha]

virtual package provided by libghc-vector-dev
dep: libghc-vector-dev-0.13.2.0-fe421 [i386]

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

Package not available
dep: libghc-vector-hashtables-dev-0.1.2.0-dd58b [hppa]

Package not available
dep: libghc-vector-hashtables-dev-0.1.2.1-214c0 [sparc64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-479e5 [loong64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-af15d [amd64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-cde0e [alpha]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-d4548 [riscv64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-d578e [i386]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-dd81d [arm64]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-f2405 [s390x]

virtual package provided by libghc-vector-hashtables-dev
dep: libghc-vector-hashtables-dev-0.1.2.1-f4346 [ppc64el]

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-e7168 [m68k]

Package not available
dep: libghc-zlib-dev-0.6.3.0-0add8 [ppc64]

Package not available
dep: libghc-zlib-dev-0.6.3.0-bfd86 [hppa]

Package not available
dep: libghc-zlib-dev-0.7.1.1-0834f [sparc64]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.7.1.1-2a8f4 [arm64]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.7.1.1-2c433 [alpha, amd64, loong64]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.7.1.1-30b25 [i386]

virtual package provided by libghc-zlib-dev
dep: libghc-zlib-dev-0.7.1.1-e3755 [ppc64el, riscv64, s390x]

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

libreria aritmetica a precisione multipla

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

dep: libgmp10 (>= 2:6.3.0+dfsg) [not 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.8.0-2	55,568.9 kB	881,020.0 kB	[list of files]
amd64	2.8.0-2+b1	36,803.6 kB	613,174.0 kB	[list of files]
arm64	2.8.0-2+b1	39,136.9 kB	661,909.0 kB	[list of files]
hppa (unofficial port)	2.6.4.3-1+b1	41,239.4 kB	427,861.0 kB	[list of files]
i386	2.8.0-2+b1	37,241.4 kB	561,163.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]
loong64	2.8.0-2+b2	48,861.5 kB	771,402.0 kB	[list of files]
m68k (unofficial port)	2.6.1-1+b1	60,220.5 kB	618,821.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.8.0-2+b1	47,499.1 kB	800,639.0 kB	[list of files]
riscv64	2.8.0-2+b1	67,660.1 kB	951,944.0 kB	[list of files]
s390x	2.8.0-2+b1	55,050.7 kB	898,791.0 kB	[list of files]
sparc64 (unofficial port)	2.8.0-2+b1	57,269.3 kB	1,107,560.0 kB	[list of files]
x32 (unofficial port)	2.6.1-1+b2	68,192.5 kB	652,757.0 kB	[list of files]