Пакет-източник: agda-stdlib (0.17-1)
Връзки за agda-stdlib
Ресурси за Debian:
Отговорници:
Външни препратки:
Следните двоични пакети са компилирани от този пакет-източник:
- agda-stdlib
- standard library for Agda
- agda-stdlib-doc
- standard library for Agda — documentation
Други пакети, свързани с agda-stdlib
- зависимости при компилиране
|
- зависимости при компилиране (архитектурно-независими)
|
-
- adep:
debhelper
(>= 10)
- helper programs for debian/rules
-
- adep:
agda-bin
(>= 2.5.4.1)
- commandline interface to Agda
-
- adep:
agda-bin
(<< 2.5.5~)
- commandline interface to Agda
-
- adep:
libghc-agda-dev
(>= 2.5.4.1)
- dependently typed functional programming language
-
- adep:
libghc-agda-dev
(<< 2.5.5~)
- dependently typed functional programming language
-
- adep:
libghc-filemanip-dev
- expressive file and directory manipulation for Haskell
