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

Пакет: libghc-presburger-prof (1.3.1-10 и другие)

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

Screenshot

Ресурсы Debian:

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

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

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

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

decision procedure for quantifier-free linear arithmetic; profiling libraries

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.

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

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

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

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

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 1.3.1-10+b1 205,6 Кб2 337,0 Кб [список файлов]
amd64 1.3.1-10+b1 136,9 Кб1 352,0 Кб [список файлов]
arm64 1.3.1-10+b1 162,9 Кб1 811,0 Кб [список файлов]
armel 1.3.1-10+b2 200,1 Кб1 624,0 Кб [список файлов]
armhf 1.3.1-10+b2 195,9 Кб1 585,0 Кб [список файлов]
hppa (неофициальный перенос) 1.3.1-10+b2 266,0 Кб2 177,0 Кб [список файлов]
i386 1.3.1-10 204,2 Кб1 573,0 Кб [список файлов]
ia64 (неофициальный перенос) 1.3.1-10+b1 313,3 Кб4 899,0 Кб [список файлов]
m68k (неофициальный перенос) 1.3.1-9+b2 202,8 Кб1 761,0 Кб [список файлов]
mips64el 1.3.1-10+b1 184,6 Кб2 196,0 Кб [список файлов]
ppc64 (неофициальный перенос) 1.3.1-10+b1 175,5 Кб2 446,0 Кб [список файлов]
ppc64el 1.3.1-10+b1 179,8 Кб2 356,0 Кб [список файлов]
riscv64 1.3.1-10+b2 302,0 Кб3 530,0 Кб [список файлов]
s390x 1.3.1-10+b1 226,7 Кб2 889,0 Кб [список файлов]
sparc64 (неофициальный перенос) 1.3.1-10+b1 250,1 Кб3 761,0 Кб [список файлов]
x32 (неофициальный перенос) 1.3.1-9 201,1 Кб1 752,0 Кб [список файлов]