[ Source: agda ]
Package: libghc-agda-dev (2.6.3-1 and others)
Links for libghc-agda-dev
Debian Resources:
Download Source Package agda:
Maintainer:
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
|
|
|
|
-
- 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-140ab [s390x]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-1d0ab [i386]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-2b8d5 [arm64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-2c5ad [riscv64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-4a8f5 [ppc64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-67576 [alpha]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-67f45 [ppc64el]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-7d7cc [sparc64]
- Package not available
-
- dep: libghc-aeson-dev-2.1.2.1-a5136 [amd64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-c8391 [mips64el]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-array-dev-0.5.4.0-0952c [not hppa, i386, ia64, m68k, sparc64, x32]
- 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-8f63d [sparc64]
- Package not available
-
- dep: libghc-array-dev-0.5.4.0-a6623 [i386]
- virtual package provided by ghc
-
- dep: libghc-array-dev-0.5.4.0-c6e35 [m68k]
- Package not available
-
- 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-00688 [sparc64]
- Package not available
-
- dep: libghc-async-dev-2.2.4-01bf5 [riscv64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.4-2a6a6 [alpha, mips64el]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.4-2b734 [amd64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.4-2fabe [ppc64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.4-710ce [i386]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.4-76095 [s390x]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.4-9e380 [arm64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.4-f4cb4 [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.17.2.0-42c25 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.17.2.0-68dfe [amd64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.17.2.0-696e5 [s390x]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.17.2.0-9226a [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.17.2.0-99870 [sparc64]
- Package not available
-
- dep: libghc-base-dev-4.17.2.0-9c962 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.17.2.0-a042f [i386]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.17.2.0-cddcc [ppc64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.17.2.0-ce2a7 [arm64]
- 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-137ed [mips64el]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-4176b [sparc64]
- Package not available
-
- dep: libghc-binary-dev-0.8.9.1-6a9d2 [amd64]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-6cb68 [ppc64]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-8a582 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-a900f [i386]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-b006b [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-b654f [arm64]
- 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-d9ddd [s390x]
- 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-38c38 [amd64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-42dd9 [riscv64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-5c28b [hppa]
- Package not available
-
- dep: libghc-blaze-html-dev-0.9.1.2-708e2 [i386]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-839b9 [ppc64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-841f6 [alpha, mips64el]
- 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-96578 [ppc64el]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-d14c7 [s390x]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.1.2-de94f [sparc64]
- Package not available
-
- dep: libghc-blaze-html-dev-0.9.1.2-f024b [x32]
- Package not available
-
- dep: libghc-blaze-html-dev-0.9.1.2-f6d6a [arm64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-boxes-dev-0.1.5-07005 [i386]
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-0700f [ppc64]
- 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-bd724 [sparc64]
- Package not available
-
- dep: libghc-boxes-dev-0.1.5-c48de [alpha, amd64, arm64, mips64el, ppc64el, riscv64, s390x]
- 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.1-70f76 [sparc64]
- Package not available
-
- dep: libghc-bytestring-dev-0.11.5.2-04e6c [ppc64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-100f5 [i386]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-3ec77 [arm64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-42314 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-6590e [amd64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-883a4 [s390x]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-e0d06 [alpha]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-f12d6 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.2-f2cad [riscv64]
- virtual package provided by ghc
-
- dep: libghc-case-insensitive-dev-1.2.1.0-2881b [s390x]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-2ed1e [arm64]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-4ff3b [sparc64]
- Package not available
-
- dep: libghc-case-insensitive-dev-1.2.1.0-7a637 [ppc64]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-7e04a [alpha, mips64el]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-a51f3 [ppc64el]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-ac79b [i386]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-d0ee4 [amd64]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-eba80 [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-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-0d119 [arm64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-432b0 [i386]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-5d50d [sparc64]
- Package not available
-
- dep: libghc-containers-dev-0.6.7-a1650 [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-d5830 [ppc64el, riscv64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-efe21 [ppc64, s390x]
- virtual package provided by ghc
-
- dep: libghc-data-hash-dev-0.2.0.1-1e204 [ppc64]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-27079 [alpha, amd64, mips64el]
- 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-546e6 [ppc64el, riscv64, s390x]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-7467c [i386]
- 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-92be3 [sparc64]
- Package not available
-
- dep: libghc-data-hash-dev-0.2.0.1-b656c [hppa]
- Package not available
-
- dep: libghc-data-hash-dev-0.2.0.1-c74c1 [arm64]
- 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-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-69233 [arm64]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.0-7e34e [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.0-c3bfe [i386]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.0-ddf16 [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.0-f079e [sparc64]
- Package not available
-
- 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-1009f [amd64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-2b5db [riscv64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-a6c97 [sparc64]
- Package not available
-
- dep: libghc-directory-dev-1.3.7.1-b16de [i386]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-ba496 [arm64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-d5583 [s390x]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-d57a9 [ppc64, ppc64el]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-d68e7 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.7.1-f2d83 [alpha]
- virtual package provided by ghc
-
- dep: libghc-dlist-dev-1.0-25437 [sparc64]
- Package not available
-
- dep: libghc-dlist-dev-1.0-257d6 [i386]
- virtual package provided by libghc-dlist-dev
-
- dep: libghc-dlist-dev-1.0-afbc1 [not hppa, i386, ia64, m68k, sparc64, 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-46a2a [sparc64]
- Package not available
-
- dep: libghc-edit-distance-dev-0.2.2.1-4d195 [i386]
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-56d08 [not hppa, i386, ia64, m68k, sparc64, x32]
- 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-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-7bb84 [ppc64el, riscv64, s390x]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-a25a6 [ppc64]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-b52bd [sparc64]
- Package not available
-
- dep: libghc-equivalence-dev-0.4.1-bdc8e [i386]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-c5743 [arm64]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-d6c01 [alpha, amd64, mips64el]
- 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-203c0 [arm64, ppc64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.5-38175 [sparc64]
- Package not available
-
- dep: libghc-exceptions-dev-0.10.5-3dbf4 [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.5-58dd2 [i386]
- 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-1897d [sparc64]
- Package not available
-
- dep: libghc-filepath-dev-1.4.2.2-290a6 [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.2.2-2dafe [arm64, ppc64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.2.2-8b932 [i386]
- 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-377ee [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-4c9ab [arm64]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-92a7a [sparc64]
- Package not available
-
- 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-d6f68 [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-fccfa [i386]
- virtual package provided by ghc
-
- dep: libghc-gitrev-dev-1.3.1-0e910 [alpha, amd64, mips64el]
- 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-3f878 [arm64]
- 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-a8a40 [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-ea841 [sparc64]
- Package not available
-
- dep: libghc-gitrev-dev-1.3.1-f824d [i386]
- 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-029ef [arm64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.3.0-2c3fa [ppc64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.3.0-2d73a [riscv64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.3.0-40a4f [sparc64]
- Package not available
-
- dep: libghc-hashable-dev-1.4.3.0-72d1a [i386]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.3.0-8e626 [s390x]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.3.0-c2e84 [ppc64el]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.3.0-e937e [amd64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.3.0-f3706 [alpha, mips64el]
- 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-0cb6c [i386]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2-1980a [mips64el]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2-1fbd9 [ppc64, ppc64el]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2-390ba [amd64]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2-6c181 [sparc64]
- Package not available
-
- dep: libghc-haskeline-dev-0.8.2-8dfc5 [arm64]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2-cefe5 [s390x]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2-f823a [riscv64]
- 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-0dc4f [i386]
- virtual package provided by libghc-monad-control-dev
-
- dep: libghc-monad-control-dev-1.0.3.1-b8369 [sparc64]
- Package not available
-
- dep: libghc-monad-control-dev-1.0.3.1-d981c [not hppa, i386, ia64, m68k, sparc64, x32]
- virtual package provided by libghc-monad-control-dev
-
- dep: libghc-mtl-dev-2.2.2-33751 [sparc64]
- Package not available
-
- dep: libghc-mtl-dev-2.2.2-5bd25 [ia64]
- Package not available
-
- dep: libghc-mtl-dev-2.2.2-6f39a [not hppa, i386, ia64, m68k, sparc64, x32]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.2.2-75383 [i386]
- 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-murmur-hash-dev-0.1.0.10-04706 [sparc64]
- Package not available
-
- dep: libghc-murmur-hash-dev-0.1.0.10-52de8 [arm64]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.10-76378 [i386]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.10-d4b11 [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.10-db7ab [alpha, amd64, mips64el]
- 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-0a37e [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-78dd6 [arm64]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-9fbbe [sparc64]
- Package not available
-
- dep: libghc-parallel-dev-3.2.2.0-afc9a [alpha, amd64, mips64el]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-be2e9 [i386]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-pretty-dev-1.1.3.6-055cd [arm64]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-1aa0a [alpha, amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-25aa5 [ppc64, 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-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-aa488 [i386]
- 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-ff44c [sparc64]
- Package not available
-
- dep: libghc-process-dev-1.6.17.0-29e15 [amd64, mips64el, ppc64, ppc64el, s390x]
- 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.17.0-5a7c9 [arm64, riscv64]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.17.0-74c10 [i386]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.17.0-ad5c1 [sparc64]
- Package not available
-
- 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-06626 [s390x]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-2ea01 [i386]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-4f08e [amd64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-7065f [sparc64]
- Package not available
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-ba7e7 [arm64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-dfd2c [riscv64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-e20c5 [ppc64el]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-e3ea9 [ppc64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-eb268 [alpha, mips64el]
- 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, amd64, arm64, mips64el, ppc64el, riscv64, s390x]
- virtual package provided by libghc-split-dev
-
- dep: libghc-split-dev-0.2.3.5-9f80e [sparc64]
- Package not available
-
- dep: libghc-split-dev-0.2.3.5-a6ed1 [i386]
- virtual package provided by libghc-split-dev
-
- dep: libghc-split-dev-0.2.3.5-fed59 [ppc64]
- 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-9752a [i386]
- virtual package provided by ghc
-
- dep: libghc-stm-dev-2.5.1.0-a33bb [sparc64]
- Package not available
-
- dep: libghc-stm-dev-2.5.1.0-c4a56 [not hppa, i386, ia64, m68k, sparc64, x32]
- virtual package provided by ghc
-
- dep: libghc-stmonadtrans-dev-0.4.7-29b5b [not hppa, i386, ia64, m68k, sparc64, x32]
- virtual package provided by libghc-stmonadtrans-dev
-
- dep: libghc-stmonadtrans-dev-0.4.7-c9757 [i386]
- virtual package provided by libghc-stmonadtrans-dev
-
- dep: libghc-stmonadtrans-dev-0.4.7-d2c05 [sparc64]
- Package not available
-
- 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-0b418 [arm64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-3a475 [ppc64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-4deb9 [mips64el]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-6de3b [amd64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-835eb [sparc64]
- Package not available
-
- dep: libghc-strict-dev-0.5-88ea2 [ppc64el]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-ac517 [i386]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-ba779 [alpha]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-ec79a [riscv64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-fae31 [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-01112 [s390x]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-0847e [amd64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-22eda [i386]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-3460d [arm64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-48e30 [sparc64]
- Package not available
-
- dep: libghc-text-dev-2.0.2-66487 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-90ab9 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-982b4 [mips64el]
- 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-bb4b1 [ppc64]
- virtual package provided by ghc
-
- dep: libghc-time-compat-dev-1.9.6.1-22d6f [s390x]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-267b5 [amd64]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-3a050 [riscv64]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-65496 [i386]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-b7901 [ppc64]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-d91d8 [ppc64el]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-dd216 [arm64]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-ea50e [sparc64]
- Package not available
-
- dep: libghc-time-compat-dev-1.9.6.1-f77a4 [alpha, mips64el]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-dev-1.12.2-118dc [sparc64]
- Package not available
-
- dep: libghc-time-dev-1.12.2-491a0 [alpha]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-5e302 [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-bbfc5 [arm64]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-c0996 [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-d8077 [i386]
- 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-3a95c [sparc64]
- Package not available
-
- 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 [not hppa, i386, ia64, m68k, sparc64, x32]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.5.6.2-a37f9 [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-15304 [sparc64]
- Package not available
-
- dep: libghc-unordered-containers-dev-0.2.19.1-230f0 [amd64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.19.1-2504b [alpha, mips64el]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.19.1-4107a [s390x]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.19.1-43759 [ppc64el]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.19.1-688ea [riscv64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.19.1-9f14f [i386]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.19.1-b08e2 [arm64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.19.1-ed188 [ppc64]
- 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-1c73a [s390x]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-393f5 [alpha, mips64el]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-46eec [arm64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-4e5e5 [sparc64]
- Package not available
-
- dep: libghc-uri-encode-dev-1.5.0.7-86b1e [i386]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-a7d4e [amd64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-bd091 [riscv64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-d421e [ppc64el]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-e2d5d [ppc64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-vector-dev-0.13.1.0-123f2 [alpha]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-1ffee [amd64, mips64el]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-35c67 [i386]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-bf74c [ppc64, ppc64el, s390x]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-cf556 [arm64]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-d0b15 [sparc64]
- Package not available
-
- dep: libghc-vector-dev-0.13.1.0-ea33c [riscv64]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-0fde9 [i386]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-2531a [amd64]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-3bbbb [sparc64]
- Package not available
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-3fd65 [mips64el]
- virtual package provided by libghc-vector-hashtables-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.1.3-97c24 [arm64]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-c72ff [ppc64el]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-f4f74 [s390x]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-fdd67 [riscv64]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.1.3-ff3b6 [ppc64]
- 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-02ecf [ppc64, ppc64el, riscv64, s390x]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.3.0-60be2 [i386]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.3.0-b4315 [alpha, amd64, mips64el]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.3.0-bd400 [sparc64]
- Package not available
-
- dep: libghc-zlib-dev-0.6.3.0-cfe04 [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
| 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.3-1+b3 | 23,096.8 kB | 222,068.0 kB | [list of files] |
| arm64 | 2.6.3-1+b2 | 24,841.8 kB | 266,178.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.3-1+b1 | 38,399.8 kB | 304,884.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.3-1+b1 | 34,225.4 kB | 420,545.0 kB | [list of files] |
| ppc64 (unofficial port) | 2.6.3-1+b7 | 31,810.2 kB | 429,976.0 kB | [list of files] |
| ppc64el | 2.6.3-1+b3 | 33,394.4 kB | 386,591.0 kB | [list of files] |
| riscv64 | 2.6.3-1+b2 | 37,924.1 kB | 430,777.0 kB | [list of files] |
| s390x | 2.6.3-1+b1 | 33,377.1 kB | 414,725.0 kB | [list of files] |
| sparc64 (unofficial port) | 2.6.3-1 | 38,366.3 kB | 613,302.0 kB | [list of files] |
| x32 (unofficial port) | 2.6.1-1+b2 | 68,192.5 kB | 652,757.0 kB | [list of files] |