[ Paquet source : agda ]
Paquet : libghc-agda-dev (2.8.0-2 et autres)
Liens pour libghc-agda-dev
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source agda :
Responsable :
Ressources externes :
- Page d'accueil [wiki.portal.chalmers.se]
Paquets similaires :
langage de programmation fonctionnel typé de façon dépendante
Agda est un langage de programmation fonctionnel typé de façon dépendante. Il possède des familles inductives, qui ressemblent aux GADT de Haskell, mais qui peuvent être indexées par des valeurs et pas seulement des types. Il possède également des modules de paramétrisations, des opérateurs mixfix, les caractères Unicode et une interface Emacs interactive (le vérificateur de type peut aider au développement du code).
Agda est également un assistant de preuve : c'est un système interactif pour écrire et vérifier des preuves. Agda est basé sur la théorie des types intuitifs, un système fondamental pour les mathématiques constructives développé par le logicien suédois Per Martin-Löf. Il possède de nombreux points communs avec d'autres assistants de preuves basés sur des types dépendants comme Coq, Epigram et NuPRL.
Ce paquet fournit une bibliothèque pour le langage de programmation Haskell. Consultez http://www.haskell.org/ pour plus d'informations sur ce langage.
Autres paquets associés à libghc-agda-dev
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.29) [non alpha, ia64, loong64, riscv64]
- dep: libc6 (>= 2.42) [loong64]
-
- dep: libc6.1 (>= 2.29) [alpha]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
- dep: libc6.1 (>= 2.31) [ia64]
-
- dep: libghc-aeson-dev-1.4.7.1-9d36e [ia64]
- Paquet indisponible
-
- dep: libghc-aeson-dev-1.4.7.1-bd1a9 [x32]
- Paquet indisponible
-
- dep: libghc-aeson-dev-1.4.7.1-dc008 [m68k]
- Paquet indisponible
-
- dep: libghc-aeson-dev-2.1.2.1-85e95 [hppa]
- Paquet indisponible
-
- dep: libghc-aeson-dev-2.1.2.1-9bcc5 [ppc64]
- Paquet indisponible
-
- dep: libghc-aeson-dev-2.2.3.0-2aed4 [sparc64]
- paquet virtuel fourni par libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.2.3.0-3d551 [i386]
- paquet virtuel fourni par libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.2.3.0-45250 [s390x]
- paquet virtuel fourni par libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.2.3.0-76270 [alpha]
- Paquet indisponible
-
- dep: libghc-aeson-dev-2.2.3.0-8cd5f [arm64]
- paquet virtuel fourni par libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.2.3.0-b6cc1 [ppc64el]
- paquet virtuel fourni par libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.2.3.0-be989 [riscv64]
- paquet virtuel fourni par libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.2.3.0-cb63e [amd64]
- paquet virtuel fourni par libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.2.3.0-f9feb [loong64]
- Paquet indisponible
-
- dep: libghc-ansi-terminal-dev-1.0.2-53e9d [hppa]
- Paquet indisponible
-
- dep: libghc-ansi-terminal-dev-1.0.2-7693e [ppc64]
- Paquet indisponible
-
- dep: libghc-ansi-terminal-dev-1.1.5-70b23 [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par libghc-ansi-terminal-dev
-
- dep: libghc-ansi-terminal-dev-1.1.5-9bc8f [i386]
- paquet virtuel fourni par libghc-ansi-terminal-dev
-
- dep: libghc-array-dev-0.5.4.0-2617f [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-array-dev-0.5.4.0-53f6a [ia64]
- Paquet indisponible
-
- dep: libghc-array-dev-0.5.4.0-c6e35 [m68k]
- Paquet indisponible
-
- dep: libghc-array-dev-0.5.6.0-3963a [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-array-dev-0.5.6.0-65c23 [ppc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-array-dev-0.5.8.0-c4336 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-array-dev-0.5.8.0-fa0dd [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-async-dev-2.2.2-5ab8b [x32]
- Paquet indisponible
-
- dep: libghc-async-dev-2.2.2-6dbe5 [m68k]
- Paquet indisponible
-
- dep: libghc-async-dev-2.2.2-ca2f8 [ia64]
- Paquet indisponible
-
- dep: libghc-async-dev-2.2.5-017cb [loong64]
- Paquet indisponible
-
- dep: libghc-async-dev-2.2.5-15417 [s390x]
- paquet virtuel fourni par libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-31948 [sparc64]
- paquet virtuel fourni par libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-468d2 [alpha, amd64]
- paquet virtuel fourni par libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-59a71 [ppc64]
- Paquet indisponible
-
- dep: libghc-async-dev-2.2.5-79310 [i386]
- paquet virtuel fourni par libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-bda5a [ppc64el, riscv64]
- paquet virtuel fourni par libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-cc949 [arm64]
- paquet virtuel fourni par libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-d11d7 [hppa]
- Paquet indisponible
-
- dep: libghc-base-dev-4.13.0.0-14d25 [m68k]
- Paquet indisponible
-
- dep: libghc-base-dev-4.13.0.0-e59f8 [ia64]
- Paquet indisponible
-
- dep: libghc-base-dev-4.13.0.0-f73fa [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.18.2.1-665fa [ppc64]
- Paquet indisponible
-
- dep: libghc-base-dev-4.18.2.1-e617e [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-08385 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-0e259 [alpha]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-1162a [loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-30faa [riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-47ff0 [amd64]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-62d1f [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-96920 [ppc64el]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-c4d33 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-base-dev-4.20.2.0-e941f [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.7.0-108d7 [ia64]
- Paquet indisponible
-
- dep: libghc-binary-dev-0.8.7.0-13499 [m68k]
- Paquet indisponible
-
- dep: libghc-binary-dev-0.8.7.0-211e8 [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.9.1-1fcc0 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.9.1-d0c43 [ppc64]
- Paquet indisponible
-
- dep: libghc-binary-dev-0.8.9.3-23190 [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.9.3-93551 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.9.3-9841b [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.9.3-d03f5 [ppc64el, riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.9.3-e3ef7 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-binary-dev-0.8.9.3-efd69 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-blaze-html-dev-0.9.1.2-073f2 [m68k]
- Paquet indisponible
-
- dep: libghc-blaze-html-dev-0.9.1.2-8f591 [ia64]
- Paquet indisponible
-
- dep: libghc-blaze-html-dev-0.9.1.2-f024b [x32]
- Paquet indisponible
-
- dep: libghc-blaze-html-dev-0.9.2.0-0dac0 [amd64]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-325ff [ppc64]
- Paquet indisponible
-
- dep: libghc-blaze-html-dev-0.9.2.0-3db7d [s390x]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-580a2 [hppa]
- Paquet indisponible
-
- dep: libghc-blaze-html-dev-0.9.2.0-69f59 [ppc64el]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-9dc9d [sparc64]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-a3227 [i386]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-a4cf4 [arm64]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-be570 [loong64]
- Paquet indisponible
-
- dep: libghc-blaze-html-dev-0.9.2.0-d4726 [alpha]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-f8fb3 [riscv64]
- paquet virtuel fourni par libghc-blaze-html-dev
-
- dep: libghc-boxes-dev-0.1.5-17452 [i386]
- paquet virtuel fourni par libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-1834f [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-3094f [ppc64]
- paquet virtuel fourni par libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-5dbae [x32]
- Paquet indisponible
-
- dep: libghc-boxes-dev-0.1.5-cdd49 [hppa]
- Paquet indisponible
-
- dep: libghc-boxes-dev-0.1.5-eec1c [ia64]
- Paquet indisponible
-
- dep: libghc-boxes-dev-0.1.5-fd6a4 [m68k]
- Paquet indisponible
-
- dep: libghc-bytestring-dev-0.10.10.1-0b9f6 [m68k]
- Paquet indisponible
-
- dep: libghc-bytestring-dev-0.10.10.1-28a1e [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.10.10.1-cf25b [ia64]
- Paquet indisponible
-
- dep: libghc-bytestring-dev-0.11.5.3-97376 [ppc64]
- Paquet indisponible
-
- dep: libghc-bytestring-dev-0.11.5.3-e3f87 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-70951 [ppc64el]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-79ec1 [alpha, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-a5c2d [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-a813d [riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-d528c [amd64]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-d8575 [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-ea2c7 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-bytestring-dev-0.12.2.0-ef254 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-case-insensitive-dev-1.2.1.0-06172 [hppa]
- Paquet indisponible
-
- dep: libghc-case-insensitive-dev-1.2.1.0-12667 [sparc64]
- paquet virtuel fourni par libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-21b6f [ppc64]
- Paquet indisponible
-
- dep: libghc-case-insensitive-dev-1.2.1.0-4b119 [i386]
- paquet virtuel fourni par libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-518fa [s390x]
- paquet virtuel fourni par libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-56e26 [alpha, amd64]
- paquet virtuel fourni par libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-96feb [arm64]
- paquet virtuel fourni par libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-a81c5 [ppc64el, riscv64]
- paquet virtuel fourni par libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-cc3fa [loong64]
- Paquet indisponible
-
- dep: libghc-containers-dev-0.6.2.1-25b62 [ia64]
- Paquet indisponible
-
- dep: libghc-containers-dev-0.6.2.1-5e2b2 [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-containers-dev-0.6.2.1-d3aad [m68k]
- Paquet indisponible
-
- dep: libghc-containers-dev-0.6.7-338ff [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-containers-dev-0.6.7-e8181 [ppc64]
- Paquet indisponible
-
- dep: libghc-containers-dev-0.7-0c6d4 [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-containers-dev-0.7-1229a [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-containers-dev-0.7-35521 [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-containers-dev-0.7-c4f2c [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-containers-dev-0.7-e4358 [ppc64el, riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-containers-dev-0.7-e6ef6 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-data-hash-dev-0.2.0.1-1e750 [sparc64]
- paquet virtuel fourni par libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-2832d [ia64]
- Paquet indisponible
-
- dep: libghc-data-hash-dev-0.2.0.1-2f24f [ppc64el, riscv64]
- paquet virtuel fourni par libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-44969 [s390x]
- paquet virtuel fourni par libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-4e160 [hppa]
- Paquet indisponible
-
- dep: libghc-data-hash-dev-0.2.0.1-59bbd [ppc64]
- Paquet indisponible
-
- dep: libghc-data-hash-dev-0.2.0.1-60618 [loong64]
- Paquet indisponible
-
- dep: libghc-data-hash-dev-0.2.0.1-7d1bb [alpha, amd64]
- paquet virtuel fourni par libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-90337 [x32]
- Paquet indisponible
-
- dep: libghc-data-hash-dev-0.2.0.1-c32b5 [arm64]
- paquet virtuel fourni par libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-c8701 [i386]
- paquet virtuel fourni par libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-ce33f [m68k]
- Paquet indisponible
-
- dep: libghc-deepseq-dev-1.4.4.0-4a70d [m68k]
- Paquet indisponible
-
- dep: libghc-deepseq-dev-1.4.4.0-7564c [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-deepseq-dev-1.4.4.0-f63ee [ia64]
- Paquet indisponible
-
- dep: libghc-deepseq-dev-1.4.8.1-a090a [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-f9583 [ppc64]
- Paquet indisponible
-
- dep: libghc-deepseq-dev-1.5.0.0-1117d [ppc64el, riscv64, s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-deepseq-dev-1.5.0.0-35545 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-deepseq-dev-1.5.0.0-5309b [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-deepseq-dev-1.5.0.0-81203 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-deepseq-dev-1.5.0.0-d390d [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.6.0-3306f [m68k]
- Paquet indisponible
-
- dep: libghc-directory-dev-1.3.6.0-5729b [ia64]
- Paquet indisponible
-
- dep: libghc-directory-dev-1.3.6.0-fb3ad [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-1f094 [amd64]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-321ac [riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-98932 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-9c066 [ppc64el]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-aca59 [ppc64]
- Paquet indisponible
-
- dep: libghc-directory-dev-1.3.8.5-b904d [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-c969f [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-cf886 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-da17b [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-de665 [loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-directory-dev-1.3.8.5-fe377 [alpha]
- paquet virtuel fourni par ghc
-
- dep: libghc-dlist-dev-1.0-1be63 [i386]
- paquet virtuel fourni par libghc-dlist-dev
-
- dep: libghc-dlist-dev-1.0-502c2 [hppa]
- Paquet indisponible
-
- dep: libghc-dlist-dev-1.0-761a6 [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par libghc-dlist-dev
-
- dep: libghc-dlist-dev-1.0-d3ec3 [ppc64]
- paquet virtuel fourni par libghc-dlist-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-062c6 [x32]
- Paquet indisponible
-
- dep: libghc-edit-distance-dev-0.2.2.1-3060f [loong64, s390x, sparc64]
- paquet virtuel fourni par libghc-edit-distance-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-35d65 [ppc64]
- Paquet indisponible
-
- dep: libghc-edit-distance-dev-0.2.2.1-4158b [i386]
- paquet virtuel fourni par libghc-edit-distance-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-601f4 [ia64]
- Paquet indisponible
-
- dep: libghc-edit-distance-dev-0.2.2.1-c00ea [m68k]
- Paquet indisponible
-
- dep: libghc-edit-distance-dev-0.2.2.1-e1fb0 [hppa]
- Paquet indisponible
-
- dep: libghc-edit-distance-dev-0.2.2.1-fed42 [alpha, amd64, arm64, ppc64el, riscv64]
- paquet virtuel fourni par libghc-edit-distance-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-68670 [s390x]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-8024c [riscv64]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-99c9c [i386]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-9c2a7 [arm64]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-aff6e [loong64]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-b0175 [ppc64el]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-b47c5 [amd64]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-bb522 [sparc64]
- paquet virtuel fourni par libghc-enummapset-dev
-
- dep: libghc-enummapset-dev-0.7.3.0-f5d96 [alpha]
- Paquet indisponible
-
- dep: libghc-equivalence-dev-0.3.5-0ba30 [x32]
- Paquet indisponible
-
- dep: libghc-equivalence-dev-0.3.5-d01b2 [ia64]
- Paquet indisponible
-
- dep: libghc-equivalence-dev-0.3.5-dc5c4 [m68k]
- Paquet indisponible
-
- dep: libghc-equivalence-dev-0.4.1-2b83e [ppc64]
- Paquet indisponible
-
- dep: libghc-equivalence-dev-0.4.1-716ec [hppa]
- Paquet indisponible
-
- dep: libghc-equivalence-dev-0.4.1.1-33465 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1.1-3dc0b [i386]
- paquet virtuel fourni par libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1.1-71cab [sparc64]
- paquet virtuel fourni par libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1.1-8fb29 [arm64]
- paquet virtuel fourni par libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1.1-d6cd4 [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-equivalence-dev
-
- dep: libghc-exceptions-dev-0.10.4-13530 [x32]
- Paquet indisponible
-
- dep: libghc-exceptions-dev-0.10.4-704a6 [ia64]
- Paquet indisponible
-
- dep: libghc-exceptions-dev-0.10.4-c4f69 [m68k]
- Paquet indisponible
-
- dep: libghc-exceptions-dev-0.10.7-f85e6 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-exceptions-dev-0.10.7-fdf92 [ppc64]
- Paquet indisponible
-
- dep: libghc-exceptions-dev-0.10.9-0cd6e [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-exceptions-dev-0.10.9-2170c [arm64, ppc64el, riscv64, s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-exceptions-dev-0.10.9-d3a18 [alpha, amd64, loong64, sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-filelock-dev-0.1.1.8-03649 [s390x]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-17366 [ppc64el]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-1f87b [riscv64]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-302d9 [arm64]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-41f33 [loong64]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-46750 [i386]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-ce4db [sparc64]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-d0beb [amd64]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filelock-dev-0.1.1.8-e15d2 [alpha]
- paquet virtuel fourni par libghc-filelock-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-0bb6f [alpha]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-21bc8 [i386]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-4c05b [arm64]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-6f971 [loong64]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-8aa14 [riscv64]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-8c296 [amd64]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-af545 [ppc64el]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-c2a97 [sparc64]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filemanip-dev-0.3.6.3-f7395 [s390x]
- paquet virtuel fourni par libghc-filemanip-dev
-
- dep: libghc-filepath-dev-1.4.2.1-38a25 [m68k]
- Paquet indisponible
-
- dep: libghc-filepath-dev-1.4.2.1-4f51d [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-filepath-dev-1.4.2.1-53885 [ia64]
- Paquet indisponible
-
- dep: libghc-filepath-dev-1.4.300.1-a696b [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-filepath-dev-1.4.300.1-daa7f [ppc64]
- Paquet indisponible
-
- dep: libghc-filepath-dev-1.5.4.0-07bd5 [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-filepath-dev-1.5.4.0-29dd7 [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-filepath-dev-1.5.4.0-2f955 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-filepath-dev-1.5.4.0-62f4d [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-filepath-dev-1.5.4.0-6f69d [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-filepath-dev-1.5.4.0-d57b3 [ppc64el, riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-generic-data-dev-1.1.0.2-2ddaf [alpha, ppc64el]
- paquet virtuel fourni par libghc-generic-data-dev
-
- dep: libghc-generic-data-dev-1.1.0.2-38295 [sparc64]
- paquet virtuel fourni par libghc-generic-data-dev
-
- dep: libghc-generic-data-dev-1.1.0.2-5af29 [i386]
- paquet virtuel fourni par libghc-generic-data-dev
-
- dep: libghc-generic-data-dev-1.1.0.2-6c743 [loong64]
- Paquet indisponible
-
- dep: libghc-generic-data-dev-1.1.0.2-6d203 [s390x]
- paquet virtuel fourni par libghc-generic-data-dev
-
- dep: libghc-generic-data-dev-1.1.0.2-b1442 [amd64, arm64, riscv64]
- paquet virtuel fourni par libghc-generic-data-dev
-
- dep: libghc-geniplate-mirror-dev-0.7.7-4c995 [m68k]
- Paquet indisponible
-
- dep: libghc-geniplate-mirror-dev-0.7.7-92aa7 [ia64]
- Paquet indisponible
-
- dep: libghc-geniplate-mirror-dev-0.7.7-fd15a [x32]
- Paquet indisponible
-
- dep: libghc-ghc-compact-dev-0.1.0.0-0491b [ia64]
- Paquet indisponible
-
- dep: libghc-ghc-compact-dev-0.1.0.0-43e39 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-4dfe6 [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-843cd [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-95a34 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-9a9c6 [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-a2a96 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-b326c [m68k]
- Paquet indisponible
-
- dep: libghc-ghc-compact-dev-0.1.0.0-cab1d [ppc64]
- Paquet indisponible
-
- dep: libghc-ghc-compact-dev-0.1.0.0-f3d81 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-gitrev-dev-1.3.1-18ca6 [sparc64]
- paquet virtuel fourni par libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-24493 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-3a5b3 [m68k]
- Paquet indisponible
-
- dep: libghc-gitrev-dev-1.3.1-46fee [arm64]
- paquet virtuel fourni par libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-53d39 [hppa]
- Paquet indisponible
-
- dep: libghc-gitrev-dev-1.3.1-616c7 [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-96288 [ia64]
- Paquet indisponible
-
- dep: libghc-gitrev-dev-1.3.1-99892 [i386]
- paquet virtuel fourni par libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-a5919 [x32]
- Paquet indisponible
-
- dep: libghc-gitrev-dev-1.3.1-ab031 [ppc64]
- Paquet indisponible
-
- dep: libghc-hashable-dev-1.3.0.0-57884 [x32]
- Paquet indisponible
-
- dep: libghc-hashable-dev-1.3.0.0-7bb3f [ia64]
- Paquet indisponible
-
- dep: libghc-hashable-dev-1.3.0.0-cbb91 [m68k]
- Paquet indisponible
-
- dep: libghc-hashable-dev-1.4.4.0-26315 [ppc64]
- Paquet indisponible
-
- dep: libghc-hashable-dev-1.4.4.0-fc48d [hppa]
- Paquet indisponible
-
- dep: libghc-hashable-dev-1.5.0.0-55e0a [ppc64el, riscv64]
- paquet virtuel fourni par libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.5.0.0-6b1a9 [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.5.0.0-71d8e [sparc64]
- paquet virtuel fourni par libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.5.0.0-ae8c3 [s390x]
- paquet virtuel fourni par libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.5.0.0-ba1a3 [i386]
- paquet virtuel fourni par libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.5.0.0-f8585 [arm64]
- paquet virtuel fourni par libghc-hashable-dev
-
- dep: libghc-hashtables-dev-1.2.3.4-244c8 [m68k]
- Paquet indisponible
-
- dep: libghc-hashtables-dev-1.2.3.4-6e20f [ia64]
- Paquet indisponible
-
- dep: libghc-hashtables-dev-1.2.3.4-e77d0 [x32]
- Paquet indisponible
-
- dep: libghc-haskeline-dev-0.7.5.0-256e0 [m68k]
- Paquet indisponible
-
- dep: libghc-haskeline-dev-0.7.5.0-a024e [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.7.5.0-f627a [ia64]
- Paquet indisponible
-
- dep: libghc-haskeline-dev-0.8.2.1-07b21 [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-095f5 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-14c80 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-2003b [riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-30803 [ppc64el]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-4b16a [alpha]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-78f2a [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-87004 [amd64]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-a290a [ppc64]
- Paquet indisponible
-
- dep: libghc-haskeline-dev-0.8.2.1-bce34 [loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-faf60 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-ieee754-dev-0.8.0-3d59a [ia64]
- Paquet indisponible
-
- dep: libghc-ieee754-dev-0.8.0-42d42 [x32]
- paquet virtuel fourni par libghc-ieee754-dev
-
- dep: libghc-ieee754-dev-0.8.0-f21f9 [m68k]
- Paquet indisponible
-
- dep: libghc-monad-control-dev-1.0.3.1-15977 [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par libghc-monad-control-dev
-
- dep: libghc-monad-control-dev-1.0.3.1-29fa6 [i386]
- paquet virtuel fourni par libghc-monad-control-dev
-
- dep: libghc-monad-control-dev-1.0.3.1-2d659 [hppa]
- Paquet indisponible
-
- dep: libghc-monad-control-dev-1.0.3.1-b8be8 [ppc64]
- paquet virtuel fourni par libghc-monad-control-dev
-
- dep: libghc-mtl-dev-2.2.2-5bd25 [ia64]
- Paquet indisponible
-
- dep: libghc-mtl-dev-2.2.2-bc121 [m68k]
- Paquet indisponible
-
- dep: libghc-mtl-dev-2.2.2-c2ded [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-mtl-dev-2.3.1-a7bc5 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-mtl-dev-2.3.1-c3eca [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-mtl-dev-2.3.1-edf82 [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-mtl-dev-2.3.1-f8119 [ppc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-murmur-hash-dev-0.1.0.10-0b35d [hppa]
- Paquet indisponible
-
- dep: libghc-murmur-hash-dev-0.1.0.10-a6d01 [ppc64]
- Paquet indisponible
-
- dep: libghc-murmur-hash-dev-0.1.0.11-3eeae [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.11-83917 [sparc64]
- paquet virtuel fourni par libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.11-a6a7d [i386]
- paquet virtuel fourni par libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.11-c3fd9 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.11-fc3c1 [arm64]
- paquet virtuel fourni par libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.9-02e87 [x32]
- Paquet indisponible
-
- dep: libghc-murmur-hash-dev-0.1.0.9-873f0 [m68k]
- Paquet indisponible
-
- dep: libghc-murmur-hash-dev-0.1.0.9-cc5fe [ia64]
- Paquet indisponible
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-2379e [sparc64]
- paquet virtuel fourni par libghc-nonempty-containers-dev
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-4c708 [loong64]
- Paquet indisponible
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-50fe0 [alpha]
- Paquet indisponible
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-8f957 [amd64]
- paquet virtuel fourni par libghc-nonempty-containers-dev
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-91514 [s390x]
- paquet virtuel fourni par libghc-nonempty-containers-dev
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-9cd3f [ppc64el]
- paquet virtuel fourni par libghc-nonempty-containers-dev
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-bb481 [riscv64]
- paquet virtuel fourni par libghc-nonempty-containers-dev
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-d05ab [arm64]
- paquet virtuel fourni par libghc-nonempty-containers-dev
-
- dep: libghc-nonempty-containers-dev-0.3.5.0-f5e89 [i386]
- paquet virtuel fourni par libghc-nonempty-containers-dev
-
- dep: libghc-parallel-dev-3.2.2.0-0e0d4 [sparc64]
- paquet virtuel fourni par libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-19b5c [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-5e736 [hppa]
- Paquet indisponible
-
- dep: libghc-parallel-dev-3.2.2.0-b604d [ppc64el, riscv64, s390x]
- paquet virtuel fourni par libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-b88e1 [ppc64]
- Paquet indisponible
-
- dep: libghc-parallel-dev-3.2.2.0-ce570 [i386]
- paquet virtuel fourni par libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-ee637 [arm64]
- paquet virtuel fourni par libghc-parallel-dev
-
- dep: libghc-peano-dev-0.1.0.2-9be4b [hppa]
- Paquet indisponible
-
- dep: libghc-peano-dev-0.1.0.2-b239f [ppc64]
- paquet virtuel fourni par libghc-peano-dev
-
- dep: libghc-peano-dev-0.1.0.3-7ee1a [i386]
- paquet virtuel fourni par libghc-peano-dev
-
- dep: libghc-peano-dev-0.1.0.3-af10a [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par libghc-peano-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-14253 [alpha]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-21dd1 [loong64]
- Paquet indisponible
-
- dep: libghc-pqueue-dev-1.5.0.0-a7f6c [i386]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-c34f3 [amd64]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-c52f5 [sparc64]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-d61ab [arm64]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-daf8a [s390x]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-db293 [riscv64]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pqueue-dev-1.5.0.0-efd38 [ppc64el]
- paquet virtuel fourni par libghc-pqueue-dev
-
- dep: libghc-pretty-dev-1.1.3.6-139d3 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-pretty-dev-1.1.3.6-83cd7 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-pretty-dev-1.1.3.6-86d0f [m68k]
- Paquet indisponible
-
- dep: libghc-pretty-dev-1.1.3.6-a467b [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-pretty-dev-1.1.3.6-a4941 [ia64]
- Paquet indisponible
-
- dep: libghc-pretty-dev-1.1.3.6-a5542 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-pretty-dev-1.1.3.6-aa0be [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-pretty-dev-1.1.3.6-bde4b [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-pretty-dev-1.1.3.6-d6a01 [ppc64]
- Paquet indisponible
-
- dep: libghc-pretty-dev-1.1.3.6-f6a4f [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.19.0-48ee2 [ppc64]
- Paquet indisponible
-
- dep: libghc-process-dev-1.6.19.0-8642d [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-4439d [loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-4d56c [riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-6007b [alpha]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-713a8 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-7e17b [ppc64el, s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-8c46d [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-92ff0 [amd64]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.26.1-c4238 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.9.0-28faa [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-process-dev-1.6.9.0-6cb42 [m68k]
- Paquet indisponible
-
- dep: libghc-process-dev-1.6.9.0-d3807 [ia64]
- Paquet indisponible
-
- dep: libghc-process-extras-dev-0.7.4-39589 [i386]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-process-extras-dev-0.7.4-486e9 [sparc64]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-process-extras-dev-0.7.4-4ca4f [s390x]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-process-extras-dev-0.7.4-53bcd [amd64]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-process-extras-dev-0.7.4-d4067 [ppc64el]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-process-extras-dev-0.7.4-e7703 [loong64]
- Paquet indisponible
-
- dep: libghc-process-extras-dev-0.7.4-eda7c [arm64]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-process-extras-dev-0.7.4-f0f4f [riscv64]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-process-extras-dev-0.7.4-f8b17 [alpha]
- paquet virtuel fourni par libghc-process-extras-dev
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-2450f [x32]
- Paquet indisponible
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-3505a [m68k]
- Paquet indisponible
-
- dep: libghc-regex-tdfa-dev-1.3.1.0-a1c6c [ia64]
- Paquet indisponible
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-31e7a [ppc64]
- Paquet indisponible
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-9729b [hppa]
- Paquet indisponible
-
- dep: libghc-regex-tdfa-dev-1.3.2.5-1b5a6 [i386]
- paquet virtuel fourni par libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.5-24462 [sparc64]
- paquet virtuel fourni par libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.5-61053 [s390x]
- paquet virtuel fourni par libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.5-a88ee [arm64]
- paquet virtuel fourni par libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.5-d17ac [ppc64el, riscv64]
- paquet virtuel fourni par libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.5-e9355 [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-regex-tdfa-dev
-
- dep: libghc-split-dev-0.2.3.4-be2b5 [ia64]
- Paquet indisponible
-
- dep: libghc-split-dev-0.2.3.4-dc176 [x32]
- Paquet indisponible
-
- dep: libghc-split-dev-0.2.3.4-f32d3 [m68k]
- Paquet indisponible
-
- dep: libghc-split-dev-0.2.5-1ef76 [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par libghc-split-dev
-
- dep: libghc-split-dev-0.2.5-3cfdd [ppc64]
- paquet virtuel fourni par libghc-split-dev
-
- dep: libghc-split-dev-0.2.5-4406f [hppa]
- Paquet indisponible
-
- dep: libghc-split-dev-0.2.5-54a29 [i386]
- paquet virtuel fourni par libghc-split-dev
-
- dep: libghc-stm-dev-2.5.0.0-57792 [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-stm-dev-2.5.0.0-7e2c4 [m68k]
- paquet virtuel fourni par ghc
-
- dep: libghc-stm-dev-2.5.0.0-b76c2 [ia64]
- Paquet indisponible
-
- dep: libghc-stm-dev-2.5.1.0-059ff [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-stm-dev-2.5.1.0-99e80 [ppc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-stm-dev-2.5.3.1-c6719 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-stm-dev-2.5.3.1-e22ee [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-stmonadtrans-dev-0.4.8-97d29 [hppa]
- Paquet indisponible
-
- dep: libghc-stmonadtrans-dev-0.4.8-b519e [ppc64]
- paquet virtuel fourni par libghc-stmonadtrans-dev
-
- dep: libghc-stmonadtrans-dev-0.4.8.1-1d4ab [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par libghc-stmonadtrans-dev
-
- dep: libghc-stmonadtrans-dev-0.4.8.1-f55c8 [i386]
- paquet virtuel fourni par libghc-stmonadtrans-dev
-
- dep: libghc-strict-dev-0.3.2-14856 [ia64]
- Paquet indisponible
-
- dep: libghc-strict-dev-0.3.2-82e6c [m68k]
- Paquet indisponible
-
- dep: libghc-strict-dev-0.3.2-ce4ca [x32]
- Paquet indisponible
-
- dep: libghc-strict-dev-0.5-66eae [ppc64]
- Paquet indisponible
-
- dep: libghc-strict-dev-0.5-f846b [hppa]
- Paquet indisponible
-
- dep: libghc-strict-dev-0.5.1-2c808 [s390x]
- paquet virtuel fourni par libghc-strict-dev
-
- dep: libghc-strict-dev-0.5.1-3e17c [arm64]
- paquet virtuel fourni par libghc-strict-dev
-
- dep: libghc-strict-dev-0.5.1-5262c [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-strict-dev
-
- dep: libghc-strict-dev-0.5.1-a8799 [ppc64el, riscv64]
- paquet virtuel fourni par libghc-strict-dev
-
- dep: libghc-strict-dev-0.5.1-bbc3e [sparc64]
- paquet virtuel fourni par libghc-strict-dev
-
- dep: libghc-strict-dev-0.5.1-e625a [i386]
- paquet virtuel fourni par libghc-strict-dev
-
- dep: libghc-template-haskell-dev-2.15.0.0-20dec [ia64]
- Paquet indisponible
-
- dep: libghc-template-haskell-dev-2.15.0.0-dd3f2 [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-template-haskell-dev-2.15.0.0-ed5e6 [m68k]
- Paquet indisponible
-
- dep: libghc-template-haskell-dev-2.22.0.0-5bb6e [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-template-haskell-dev-2.22.0.0-73f85 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-template-haskell-dev-2.22.0.0-8f18d [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-template-haskell-dev-2.22.0.0-b64d1 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-template-haskell-dev-2.22.0.0-ee03a [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-1.2.4.0-3e1ef [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-1.2.4.0-5f754 [ia64]
- Paquet indisponible
-
- dep: libghc-text-dev-1.2.4.0-cb487 [m68k]
- Paquet indisponible
-
- dep: libghc-text-dev-2.0.2-156a3 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-2.0.2-e27a3 [ppc64]
- Paquet indisponible
-
- dep: libghc-text-dev-2.1.3-07dea [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-2.1.3-43f3a [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-2.1.3-51fd5 [s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-2.1.3-528f6 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-2.1.3-6c132 [ppc64el, riscv64]
- paquet virtuel fourni par ghc
-
- dep: libghc-text-dev-2.1.3-8ae9a [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-compat-dev-1.9.6.1-15145 [hppa]
- Paquet indisponible
-
- dep: libghc-time-compat-dev-1.9.6.1-c7c75 [ppc64]
- Paquet indisponible
-
- dep: libghc-time-dev-1.12.2-2cc4e [ppc64]
- Paquet indisponible
-
- dep: libghc-time-dev-1.12.2-3b111 [alpha, amd64, loong64]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-dev-1.12.2-5035c [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-dev-1.12.2-50390 [arm64]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-dev-1.12.2-6bde0 [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-dev-1.12.2-da5d3 [sparc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-dev-1.12.2-e01d8 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-dev-1.9.3-28cba [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-time-dev-1.9.3-9e69a [m68k]
- Paquet indisponible
-
- dep: libghc-time-dev-1.9.3-f5018 [ia64]
- Paquet indisponible
-
- dep: libghc-transformers-dev-0.5.6.2-00bc3 [ia64]
- Paquet indisponible
-
- dep: libghc-transformers-dev-0.5.6.2-2970e [x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-transformers-dev-0.5.6.2-6116e [m68k]
- Paquet indisponible
-
- dep: libghc-transformers-dev-0.6.1.0-5335d [ppc64]
- paquet virtuel fourni par ghc
-
- dep: libghc-transformers-dev-0.6.1.0-6ad3c [hppa]
- paquet virtuel fourni par ghc
-
- dep: libghc-transformers-dev-0.6.1.1-26140 [non hppa, i386, ia64, m68k, ppc64, x32]
- paquet virtuel fourni par ghc
-
- dep: libghc-transformers-dev-0.6.1.1-fe3a5 [i386]
- paquet virtuel fourni par ghc
-
- dep: libghc-unordered-containers-dev-0.2.10.0-01ada [ia64]
- Paquet indisponible
-
- dep: libghc-unordered-containers-dev-0.2.10.0-709b5 [x32]
- Paquet indisponible
-
- dep: libghc-unordered-containers-dev-0.2.10.0-a85c0 [m68k]
- Paquet indisponible
-
- dep: libghc-unordered-containers-dev-0.2.20-65adb [hppa]
- Paquet indisponible
-
- dep: libghc-unordered-containers-dev-0.2.20-9a4bc [ppc64]
- Paquet indisponible
-
- dep: libghc-unordered-containers-dev-0.2.20.1-0d733 [amd64]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20.1-3fed9 [ppc64el]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20.1-580af [sparc64]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20.1-59ef5 [arm64]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20.1-6f91c [riscv64]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20.1-c3b0f [s390x]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20.1-dec1d [loong64]
- Paquet indisponible
-
- dep: libghc-unordered-containers-dev-0.2.20.1-f5d74 [i386]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20.1-f7d19 [alpha]
- paquet virtuel fourni par libghc-unordered-containers-dev
-
- dep: libghc-uri-encode-dev-1.5.0.6-08969 [m68k]
- Paquet indisponible
-
- dep: libghc-uri-encode-dev-1.5.0.6-3cf9e [x32]
- Paquet indisponible
-
- dep: libghc-uri-encode-dev-1.5.0.6-ab387 [ia64]
- Paquet indisponible
-
- dep: libghc-uri-encode-dev-1.5.0.7-03920 [ppc64]
- Paquet indisponible
-
- dep: libghc-uri-encode-dev-1.5.0.7-23233 [i386]
- paquet virtuel fourni par libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-2ac03 [sparc64]
- paquet virtuel fourni par libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-65cf5 [s390x]
- paquet virtuel fourni par libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-782a6 [hppa]
- Paquet indisponible
-
- dep: libghc-uri-encode-dev-1.5.0.7-7d849 [arm64]
- paquet virtuel fourni par libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-c4cbc [ppc64el, riscv64]
- paquet virtuel fourni par libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-f9375 [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-uri-encode-dev
-
- dep: libghc-vector-dev-0.13.1.0-15849 [ppc64]
- Paquet indisponible
-
- dep: libghc-vector-dev-0.13.1.0-d4ff0 [hppa]
- Paquet indisponible
-
- dep: libghc-vector-dev-0.13.2.0-0bcd0 [riscv64]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.2.0-0c6d9 [loong64]
- Paquet indisponible
-
- dep: libghc-vector-dev-0.13.2.0-54e58 [sparc64]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.2.0-566f6 [s390x]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.2.0-57b80 [amd64]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.2.0-b3aec [arm64]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.2.0-f580f [ppc64el]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.2.0-fd207 [alpha]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.2.0-fe421 [i386]
- paquet virtuel fourni par libghc-vector-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-9aca8 [ppc64]
- Paquet indisponible
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-dd58b [hppa]
- Paquet indisponible
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-214c0 [sparc64]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-af15d [amd64]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-b5f9f [loong64]
- Paquet indisponible
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-cde0e [alpha]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-d4548 [riscv64]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-d578e [i386]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-dd81d [arm64]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-f2405 [s390x]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.1-f4346 [ppc64el]
- paquet virtuel fourni par libghc-vector-hashtables-dev
-
- dep: libghc-zlib-dev-0.6.2.2-3ddfb [x32]
- Paquet indisponible
-
- dep: libghc-zlib-dev-0.6.2.2-7d0bf [ia64]
- Paquet indisponible
-
- dep: libghc-zlib-dev-0.6.2.2-e7168 [m68k]
- Paquet indisponible
-
- dep: libghc-zlib-dev-0.6.3.0-0add8 [ppc64]
- Paquet indisponible
-
- dep: libghc-zlib-dev-0.6.3.0-bfd86 [hppa]
- Paquet indisponible
-
- dep: libghc-zlib-dev-0.7.1.1-0834f [sparc64]
- paquet virtuel fourni par libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.7.1.1-2a8f4 [arm64]
- paquet virtuel fourni par libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.7.1.1-2c433 [alpha, amd64, loong64]
- paquet virtuel fourni par libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.7.1.1-30b25 [i386]
- paquet virtuel fourni par libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.7.1.1-e3755 [ppc64el, riscv64, s390x]
- paquet virtuel fourni par libghc-zlib-dev
-
- dep: libgmp10 [ia64]
- Bibliothèque arithmétique à multi-précision
- dep: libgmp10 (>= 2:6.2.1+dfsg) [m68k]
- dep: libgmp10 (>= 2:6.3.0+dfsg) [non ia64, m68k, x32]
-
- dep: libtinfo6 (>= 6)
- bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
-
- dep: zlib1g (>= 1:1.1.4)
- Bibliothèque de compression - binaires
-
- sug: libghc-agda-doc
- dependently typed functional programming language; documentation
Télécharger libghc-agda-dev
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| alpha (portage non officiel) | 2.8.0-2 | 55 568,9 ko | 881 020,0 ko | [liste des fichiers] |
| amd64 | 2.8.0-2+b1 | 36 803,6 ko | 613 174,0 ko | [liste des fichiers] |
| arm64 | 2.8.0-2+b1 | 39 136,9 ko | 661 909,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 2.6.4.3-1+b1 | 41 239,4 ko | 427 861,0 ko | [liste des fichiers] |
| i386 | 2.8.0-2+b1 | 37 241,4 ko | 561 163,0 ko | [liste des fichiers] |
| ia64 (portage non officiel) | 2.6.1-1+b1 | 67 508,4 ko | 1 614 526,0 ko | [liste des fichiers] |
| loong64 | 2.8.0-2+b1 | 66 200,8 ko | 1 057 589,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 2.6.1-1+b1 | 60 220,5 ko | 618 821,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 2.6.4.3-1 | 28 628,4 ko | 391 359,0 ko | [liste des fichiers] |
| ppc64el | 2.8.0-2+b1 | 47 499,1 ko | 800 639,0 ko | [liste des fichiers] |
| riscv64 | 2.8.0-2+b1 | 67 660,1 ko | 951 944,0 ko | [liste des fichiers] |
| s390x | 2.8.0-2+b1 | 55 050,7 ko | 898 791,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 2.8.0-2+b1 | 57 269,3 ko | 1 107 560,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 2.6.1-1+b2 | 68 192,5 ko | 652 757,0 ko | [liste des fichiers] |