[ Источник: haskell-what4 ]
Пакет: haskell-what4-utils (1.3-4 и другие)
Ссылки для haskell-what4-utils
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код haskell-what4:
Сопровождающие:
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
Solver-agnostic symbolic values support for issuing queries
Другие пакеты, относящиеся к haskell-what4-utils
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, mipsel]
- библиотека для атомарного выполнения кода
-
- dep: libc6 (>= 2.34)
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
-
- dep: libffi8 (>= 3.4)
- библиотека для связывания программ написанных на разных языках
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- библиотека для работы с числами произвольной точности
-
- dep: zlib1g (>= 1:1.1.4)
- библиотека сжатия
Загрузка haskell-what4-utils
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
amd64 | 1.3-4+b3 | 2 050,9 Кб | 13 341,0 Кб | [список файлов] |
arm64 | 1.3-4+b2 | 4 666,5 Кб | 31 633,0 Кб | [список файлов] |
armel | 1.3-4+b2 | 4 950,6 Кб | 30 001,0 Кб | [список файлов] |
armhf | 1.3-4+b2 | 5 009,4 Кб | 29 957,0 Кб | [список файлов] |
i386 | 1.3-4+b2 | 5 480,2 Кб | 39 500,0 Кб | [список файлов] |
mips64el | 1.3-4+b1 | 5 810,1 Кб | 60 861,0 Кб | [список файлов] |
mipsel | 1.3-4+b1 | 3 918,2 Кб | 42 455,0 Кб | [список файлов] |
ppc64el | 1.3-4+b1 | 3 906,7 Кб | 40 279,0 Кб | [список файлов] |
s390x | 1.3-4+b1 | 8 084,1 Кб | 56 130,0 Кб | [список файлов] |