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

Пакет: libghc-sbv-prof (10.2-2 и другие)

Ссылки для libghc-sbv-prof

Screenshot

Ресурсы Debian:

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

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

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

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

symbolic Haskell theorem prover using SMT solving; profiling libraries

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

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

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

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

Загрузка libghc-sbv-prof

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 10.2-1+b1 9 173,2 Кб119 772,0 Кб [список файлов]
amd64 10.2-2+b1 5 892,2 Кб67 597,0 Кб [список файлов]
arm64 10.2-2+b1 6 863,4 Кб86 054,0 Кб [список файлов]
armel 10.2-2+b1 8 037,7 Кб80 266,0 Кб [список файлов]
armhf 10.2-2+b1 7 897,2 Кб78 659,0 Кб [список файлов]
hppa (неофициальный перенос) 10.2-2+b1 10 613,8 Кб100 009,0 Кб [список файлов]
i386 10.2-2+b1 8 472,5 Кб73 860,0 Кб [список файлов]
ia64 (неофициальный перенос) 10.2-1+b2 12 554,8 Кб229 449,0 Кб [список файлов]
m68k (неофициальный перенос) 8.17-1+b2 8 359,1 Кб88 233,0 Кб [список файлов]
mips64el 10.2-2+b1 7 957,6 Кб102 571,0 Кб [список файлов]
ppc64 (неофициальный перенос) 10.2-2 7 507,3 Кб112 620,0 Кб [список файлов]
ppc64el 10.2-2 7 965,6 Кб108 831,0 Кб [список файлов]
riscv64 10.2-2 12 841,8 Кб163 821,0 Кб [список файлов]
s390x 10.2-2 9 089,6 Кб134 026,0 Кб [список файлов]
sparc64 (неофициальный перенос) 10.2-2 10 338,4 Кб165 200,0 Кб [список файлов]
x32 (неофициальный перенос) 8.17-1+b2 8 970,3 Кб91 700,0 Кб [список файлов]