Quellcode-Paket: agda-stdlib (2.1-4)
Links für agda-stdlib
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- agda-stdlib
- Standardbibliothek für Agda
- agda-stdlib-doc
- Standardbibliothek für Agda - Dokumentation
Andere Pakete mit Bezug zu agda-stdlib
-
- adep:
debhelper-compat
(= 12)
- Paket nicht verfügbar
-
- adep:
ghc
(>= 9.6)
- The Glasgow Haskell Compilation system
-
- adep:
agda-bin
(>= 2.6.4.3)
- Befehlszeilenschnittstelle zu Agda
-
- adep:
agda-bin
(<< 2.6.4.4~)
- Befehlszeilenschnittstelle zu Agda
-
- adep:
libghc-agda-dev
(>= 2.6.4.3)
- Abhängig typisierte, funktionale Programmiersprache
-
- adep:
libghc-agda-dev
(<< 2.6.4.4~)
- Abhängig typisierte, funktionale Programmiersprache
-
- 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
