Paquet source : agda-stdlib (2.1-4)
Liens pour agda-stdlib
Ressources Debian :
Responsables :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- agda-stdlib
- bibliothèque standard pour Agda
- agda-stdlib-doc
- bibliothèque standard pour Agda - documentation
Autres paquets associés à agda-stdlib
-
- adep:
debhelper-compat
(= 12)
- Paquet indisponible
-
- adep:
ghc
(>= 9.6)
- le système de compilation Haskell de Glasgow
-
- adep:
agda-bin
(>= 2.6.4.3)
- interface en ligne de commande pour Agda
-
- adep:
agda-bin
(<< 2.6.4.4~)
- interface en ligne de commande pour Agda
-
- adep:
libghc-agda-dev
(>= 2.6.4.3)
- langage de programmation fonctionnel typé de façon dépendante
-
- adep:
libghc-agda-dev
(<< 2.6.4.4~)
- langage de programmation fonctionnel typé de façon dépendante
-
- adep:
libghc-filemanip-dev
(>= 0.3.6.2)
- expressive file and directory manipulation for Haskell
-
- adep:
libghc-filemanip-dev
(<< 0.4)
- expressive file and directory manipulation for Haskell
