все параметры
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: haskell-simple-smt  ]

Пакет: libghc-simple-smt-prof (0.9.7-3 и другие)

Ссылки для libghc-simple-smt-prof

Screenshot

Ресурсы Debian:

Исходный код haskell-simple-smt:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

A simple way to interact with an SMT solver process.; profiling libraries

This package provides a simple way to interact with an SMT solver process, using the SmtLib-2 format.

This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Другие пакеты, относящиеся к libghc-simple-smt-prof

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-simple-smt-prof

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 0.9.7-2+b1 127,3 Кб1 305,0 Кб [список файлов]
amd64 0.9.7-3 91,9 Кб757,0 Кб [список файлов]
arm64 0.9.7-3 100,6 Кб938,0 Кб [список файлов]
armel 0.9.7-3 120,8 Кб940,0 Кб [список файлов]
armhf 0.9.7-3 120,0 Кб923,0 Кб [список файлов]
hppa (неофициальный перенос) 0.9.7-3 136,4 Кб1 045,0 Кб [список файлов]
i386 0.9.7-3 120,9 Кб811,0 Кб [список файлов]
ia64 (неофициальный перенос) 0.9.7-2+b1 147,8 Кб2 449,0 Кб [список файлов]
m68k (неофициальный перенос) 0.9.7-2 119,4 Кб900,0 Кб [список файлов]
mips64el 0.9.7-3 112,9 Кб1 102,0 Кб [список файлов]
ppc64 (неофициальный перенос) 0.9.7-3 105,9 Кб1 155,0 Кб [список файлов]
ppc64el 0.9.7-3 109,5 Кб1 124,0 Кб [список файлов]
riscv64 0.9.7-3 162,6 Кб1 761,0 Кб [список файлов]
s390x 0.9.7-3 127,3 Кб1 457,0 Кб [список файлов]
sh4 (неофициальный перенос) 0.9.5-1 98,4 Кб712,0 Кб [список файлов]
sparc64 (неофициальный перенос) 0.9.7-3 131,2 Кб1 729,0 Кб [список файлов]
x32 (неофициальный перенос) 0.9.7-2 126,5 Кб966,0 Кб [список файлов]