[ Source: agda ]
Пакунок: libghc-agda-dev (2.6.4.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:
Функціональна мова програмування з залежними типами
Agda є функціональною мовою програмування з залежними типами. У ній є індуктивні сімейства, які схожі на GADT з Haskell, але вони можуть бути індексовані за значеннями, а не просто за типами. Також у ній є модулі з підтримкою параметризації, міксфіксні оператори, символи Unicode та інтерактивний інтерфейс Emacs (програма перевірки типів може допомогти в розробці Вашого коду).
Також Agda є інтерактивним засобом доведення теорем. Вона є інтерактивною системою запису та перевірки доказів. Agda заснована на інтуїціоністській теорії типів, базовій системі конструктивної математики, розробленої шведським логіком Пером Мартіном-Лефом. Agda в де чому схожа з іншими інтерактивними засобами доведення теорем, заснованими на залежних типах, такими як Coq, Epigram і NuPRL.
Цей пакунок надає бібліотеку для мови програмування Haskell. Дивіться http://www.haskell.org/ для отримання додаткової інформації щодо Haskell.
Інші пакунки пов'язані з libghc-agda-dev
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64]
- Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.29) [not riscv64]
-
- dep: libghc-aeson-dev-2.1.2.1-00c70 [mips64el]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-198c2 [ppc64el]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-62794 [i386]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-7e2e9 [armel]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-9fb12 [arm64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-b2811 [s390x]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-bcb88 [amd64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-aeson-dev-2.1.2.1-dbd06 [riscv64]
- virtual package provided by libghc-aeson-dev
-
- dep: libghc-ansi-terminal-dev-1.0.2-00d4d [i386]
- virtual package provided by libghc-ansi-terminal-dev
-
- dep: libghc-ansi-terminal-dev-1.0.2-25450 [amd64, mips64el]
- virtual package provided by libghc-ansi-terminal-dev
-
- dep: libghc-ansi-terminal-dev-1.0.2-7693e [arm64, ppc64el, riscv64, s390x]
- virtual package provided by libghc-ansi-terminal-dev
-
- dep: libghc-ansi-terminal-dev-1.0.2-ef083 [armel]
- virtual package provided by libghc-ansi-terminal-dev
-
- dep: libghc-array-dev-0.5.6.0-23660 [i386]
- virtual package provided by ghc
-
- dep: libghc-array-dev-0.5.6.0-3963a [armel]
- virtual package provided by ghc
-
- dep: libghc-array-dev-0.5.6.0-65c23 [not armel, i386]
- virtual package provided by ghc
-
- dep: libghc-async-dev-2.2.5-25d04 [riscv64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-51753 [amd64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-5e855 [s390x]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-a374a [armel]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-a3b4a [arm64]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-a4b94 [i386]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-e3bf5 [mips64el]
- virtual package provided by libghc-async-dev
-
- dep: libghc-async-dev-2.2.5-f4ffe [ppc64el]
- virtual package provided by libghc-async-dev
-
- dep: libghc-base-dev-4.18.2.1-038db [i386]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-3be9b [armel]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-75247 [arm64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-8e81e [amd64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-f2473 [s390x]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-15572 [i386]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-678f6 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-7cd62 [s390x]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-7d034 [armel]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-88a2a [arm64]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-8e26a [amd64]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-c57f3 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-binary-dev-0.8.9.1-fe2b9 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-blaze-html-dev-0.9.2.0-02d72 [ppc64el]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-11023 [arm64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-116bf [mips64el]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-200d7 [armel]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-26bc6 [i386]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-27e0f [riscv64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-8f62d [s390x]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-blaze-html-dev-0.9.2.0-cce28 [amd64]
- virtual package provided by libghc-blaze-html-dev
-
- dep: libghc-boxes-dev-0.1.5-3094f [not armel, i386]
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-b9447 [i386]
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-boxes-dev-0.1.5-cdd49 [armel]
- virtual package provided by libghc-boxes-dev
-
- dep: libghc-bytestring-dev-0.11.5.3-31c85 [arm64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-37410 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-58e77 [s390x]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-5e1ad [i386]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-7048d [amd64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-8a5b1 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-a2862 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-bytestring-dev-0.11.5.3-da82b [armel]
- virtual package provided by ghc
-
- dep: libghc-case-insensitive-dev-1.2.1.0-057c7 [s390x]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-58734 [arm64]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-6bff6 [i386]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-80e7d [armel]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-94a09 [amd64]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-a6380 [ppc64el]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-b6d21 [riscv64]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-case-insensitive-dev-1.2.1.0-bc992 [mips64el]
- virtual package provided by libghc-case-insensitive-dev
-
- dep: libghc-containers-dev-0.6.7-138bd [armel]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-3eda8 [arm64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-69002 [ppc64el, riscv64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-7a228 [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-a865b [i386]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-e8181 [s390x]
- virtual package provided by ghc
-
- dep: libghc-data-hash-dev-0.2.0.1-209dc [amd64, mips64el]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-2dbd6 [i386]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-59bbd [s390x]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-8c359 [ppc64el, riscv64]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-92158 [armel]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-data-hash-dev-0.2.0.1-dcee2 [arm64]
- virtual package provided by libghc-data-hash-dev
-
- dep: libghc-deepseq-dev-1.4.8.1-4e034 [i386]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-71feb [arm64]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-9013f [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-ae077 [armel]
- virtual package provided by ghc
-
- dep: libghc-deepseq-dev-1.4.8.1-f9583 [ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-71f9f [arm64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-8db36 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-8eb88 [armel]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-98ebe [amd64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-aca59 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-cba38 [s390x]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-d5b6b [i386]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-dd052 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-dlist-dev-1.0-502c2 [armel, i386]
- virtual package provided by libghc-dlist-dev
-
- dep: libghc-dlist-dev-1.0-d3ec3 [not armel, i386]
- virtual package provided by libghc-dlist-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-35d65 [s390x]
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-6c3fe [armel, i386]
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-edit-distance-dev-0.2.2.1-79404 [not armel, i386, s390x]
- virtual package provided by libghc-edit-distance-dev
-
- dep: libghc-equivalence-dev-0.4.1-2b83e [ppc64el, riscv64, s390x]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-35eaa [armel]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-52a57 [i386]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-6eeb5 [amd64, mips64el]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-equivalence-dev-0.4.1-c9b8d [arm64]
- virtual package provided by libghc-equivalence-dev
-
- dep: libghc-exceptions-dev-0.10.7-0356d [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.7-60cb0 [i386]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.7-b6e43 [armel]
- virtual package provided by ghc
-
- dep: libghc-exceptions-dev-0.10.7-fdf92 [arm64, ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-16f57 [armel]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-4a448 [arm64]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-4ef81 [riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-a5a56 [i386]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-c620f [mips64el]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-daa7f [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-f6cd4 [amd64]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-13818 [armel]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-8f95f [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-cab1d [ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-f64e0 [i386]
- virtual package provided by ghc
-
- dep: libghc-ghc-compact-dev-0.1.0.0-fd0fc [arm64]
- virtual package provided by ghc
-
- dep: libghc-gitrev-dev-1.3.1-44bc9 [amd64, mips64el]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-73ca6 [arm64]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-88064 [i386]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-ab031 [ppc64el, riscv64, s390x]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-gitrev-dev-1.3.1-de627 [armel]
- virtual package provided by libghc-gitrev-dev
-
- dep: libghc-hashable-dev-1.4.4.0-0fd68 [mips64el]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-1b435 [s390x]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-2c563 [ppc64el]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-3ee83 [arm64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-409e6 [armel]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-45230 [i386]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-c0454 [riscv64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-fb202 [amd64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-haskeline-dev-0.8.2.1-2332e [amd64]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-27424 [armel]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-52584 [i386]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-9c03b [riscv64]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-a290a [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-ba61f [arm64]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-fb6e8 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-haskeline-dev-0.8.2.1-fbd3d [s390x]
- virtual package provided by ghc
-
- dep: libghc-monad-control-dev-1.0.3.1-2d659 [armel]
- virtual package provided by libghc-monad-control-dev
-
- dep: libghc-monad-control-dev-1.0.3.1-8f288 [i386]
- virtual package provided by libghc-monad-control-dev
-
- dep: libghc-monad-control-dev-1.0.3.1-b8be8 [not armel, i386]
- virtual package provided by libghc-monad-control-dev
-
- dep: libghc-mtl-dev-2.3.1-831d0 [i386]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.3.1-c3eca [armel]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.3.1-f8119 [not armel, i386]
- virtual package provided by ghc
-
- dep: libghc-murmur-hash-dev-0.1.0.10-29769 [armel]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.10-8fe95 [amd64, mips64el]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.10-a47ca [i386]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.10-a6d01 [ppc64el, riscv64, s390x]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-murmur-hash-dev-0.1.0.10-d8188 [arm64]
- virtual package provided by libghc-murmur-hash-dev
-
- dep: libghc-parallel-dev-3.2.2.0-0f7bd [amd64, mips64el]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-26f96 [arm64]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-8def8 [armel]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-b88e1 [ppc64el, riscv64, s390x]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-parallel-dev-3.2.2.0-d52b3 [i386]
- virtual package provided by libghc-parallel-dev
-
- dep: libghc-peano-dev-0.1.0.2-9be4b [armel]
- virtual package provided by libghc-peano-dev
-
- dep: libghc-peano-dev-0.1.0.2-b239f [not armel, i386]
- virtual package provided by libghc-peano-dev
-
- dep: libghc-peano-dev-0.1.0.2-fba93 [i386]
- virtual package provided by libghc-peano-dev
-
- dep: libghc-pretty-dev-1.1.3.6-21c21 [arm64]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-8f6c9 [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-909c8 [armel]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-d6a01 [ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-pretty-dev-1.1.3.6-f7dec [i386]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.19.0-220a3 [arm64, riscv64]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.19.0-48ee2 [amd64, mips64el, ppc64el, s390x]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.19.0-8642d [armel]
- virtual package provided by ghc
-
- dep: libghc-process-dev-1.6.19.0-b2683 [i386]
- virtual package provided by ghc
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-37b64 [s390x]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-429e6 [amd64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-61d30 [ppc64el]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-78074 [i386]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-7eb01 [riscv64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-91ff2 [armel]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-d2e11 [mips64el]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-regex-tdfa-dev-1.3.2.2-f9518 [arm64]
- virtual package provided by libghc-regex-tdfa-dev
-
- dep: libghc-split-dev-0.2.5-3cfdd [not armel, i386]
- virtual package provided by libghc-split-dev
-
- dep: libghc-split-dev-0.2.5-4406f [armel, i386]
- virtual package provided by libghc-split-dev
-
- dep: libghc-stm-dev-2.5.1.0-059ff [armel]
- virtual package provided by ghc
-
- dep: libghc-stm-dev-2.5.1.0-5d505 [i386]
- virtual package provided by ghc
-
- dep: libghc-stm-dev-2.5.1.0-99e80 [not armel, i386]
- virtual package provided by ghc
-
- dep: libghc-stmonadtrans-dev-0.4.8-97d29 [armel]
- virtual package provided by libghc-stmonadtrans-dev
-
- dep: libghc-stmonadtrans-dev-0.4.8-ab545 [i386]
- virtual package provided by libghc-stmonadtrans-dev
-
- dep: libghc-stmonadtrans-dev-0.4.8-b519e [not armel, i386]
- virtual package provided by libghc-stmonadtrans-dev
-
- dep: libghc-strict-dev-0.5-19054 [i386]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-324ae [mips64el]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-61c83 [arm64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-9cb69 [armel]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-aee4d [amd64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-d27fd [riscv64]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-e2711 [ppc64el]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-strict-dev-0.5-eed21 [s390x]
- virtual package provided by libghc-strict-dev
-
- dep: libghc-text-dev-2.0.2-0adc3 [mips64el]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-41553 [s390x]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-5b954 [amd64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-62568 [i386]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-974c0 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-ca8a7 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-da1a9 [armel]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-edcc7 [arm64]
- virtual package provided by ghc
-
- dep: libghc-time-compat-dev-1.9.6.1-6d707 [ppc64el]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-8f2e5 [i386]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-a9589 [amd64]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-cab11 [riscv64]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-cb63b [arm64]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-e6ce8 [s390x]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-e8164 [mips64el]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-compat-dev-1.9.6.1-fc316 [armel]
- virtual package provided by libghc-time-compat-dev
-
- dep: libghc-time-dev-1.12.2-17989 [i386]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-2cc4e [ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-a9ccc [arm64]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-d0f76 [armel]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-eb20f [amd64, mips64el]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.0-5335d [not armel, i386]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.0-6ad3c [armel]
- virtual package provided by ghc
-
- dep: libghc-transformers-dev-0.6.1.0-b6e44 [i386]
- virtual package provided by ghc
-
- dep: libghc-unordered-containers-dev-0.2.20-0188a [mips64el]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-13c3d [s390x]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-a0e00 [amd64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-af5f1 [riscv64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-ba4ff [armel]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-bef9d [arm64]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-d2679 [i386]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-unordered-containers-dev-0.2.20-d68c2 [ppc64el]
- virtual package provided by libghc-unordered-containers-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-2b6b2 [ppc64el]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-3389f [armel]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-4fa87 [amd64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-6da48 [arm64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-80cc4 [i386]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-9129d [riscv64]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-a8ea4 [mips64el]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-uri-encode-dev-1.5.0.7-ae86e [s390x]
- virtual package provided by libghc-uri-encode-dev
-
- dep: libghc-vector-dev-0.13.1.0-15849 [ppc64el, s390x]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-a34b3 [riscv64]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-abd16 [armel]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-c924b [arm64]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-ca5d5 [amd64, mips64el]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-dev-0.13.1.0-dfd19 [i386]
- virtual package provided by libghc-vector-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-15588 [amd64]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-160b5 [s390x]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-3df2f [i386]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-43ca5 [riscv64]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-71f96 [mips64el]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-b9c25 [ppc64el]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-bcae3 [armel]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-vector-hashtables-dev-0.1.2.0-c7753 [arm64]
- virtual package provided by libghc-vector-hashtables-dev
-
- dep: libghc-zlib-dev-0.6.3.0-0add8 [ppc64el, riscv64, s390x]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.3.0-24b10 [armel]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.3.0-436de [amd64, mips64el]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.3.0-aa104 [i386]
- virtual package provided by libghc-zlib-dev
-
- dep: libghc-zlib-dev-0.6.3.0-e8f80 [arm64]
- virtual package provided by libghc-zlib-dev
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Арифметична бібліотека багатоточності
-
- dep: libtinfo6 (>= 6)
- Низькорівнева колективна бібліотека „terminfo“ для роботи з терміналом
-
- dep: zlib1g (>= 1:1.1.4)
- Бібліотека стискання даних (виконавчий модуль)
Завантажити libghc-agda-dev
| Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|---|
| amd64 | 2.6.4.3-1+b2 | 22,286.2 kB | 214,834.0 kB | [список файлів] |
| arm64 | 2.6.4.3-1+b1 | 23,896.3 kB | 252,211.0 kB | [список файлів] |
| armel | 2.6.4.3-1+b1 | 30,469.8 kB | 270,734.0 kB | [список файлів] |
| i386 | 2.6.4.3-1+b1 | 36,481.6 kB | 290,174.0 kB | [список файлів] |
| mips64el | 2.6.4.3-1+b1 | 33,067.7 kB | 398,774.0 kB | [список файлів] |
| ppc64el | 2.6.4.3-1 | 29,773.5 kB | 350,758.0 kB | [список файлів] |
| riscv64 | 2.6.4.3-1 | 40,684.0 kB | 445,815.0 kB | [список файлів] |
| s390x | 2.6.4.3-1 | 39,535.3 kB | 452,611.0 kB | [список файлів] |