всички настройки
stretch  ] [  buster  ] [  sid  ]
[ Източник: haskell-presburger  ]

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

Връзки за 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

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
amd64 1.3.1-6+b2 137,1 кБ1 417,0 кБ [списък на файловете]
arm64 1.3.1-6+b2 173,2 кБ1 761,0 кБ [списък на файловете]
armel 1.3.1-6+b2 169,6 кБ1 244,0 кБ [списък на файловете]
armhf 1.3.1-6+b2 170,0 кБ1 244,0 кБ [списък на файловете]
i386 1.3.1-6+b2 145,8 кБ1 054,0 кБ [списък на файловете]
mips 1.3.1-6+b2 168,0 кБ1 505,0 кБ [списък на файловете]
mips64el 1.3.1-6+b2 180,9 кБ2 183,0 кБ [списък на файловете]
mipsel 1.3.1-6+b2 170,3 кБ1 505,0 кБ [списък на файловете]
ppc64el 1.3.1-6+b2 178,5 кБ2 443,0 кБ [списък на файловете]
s390x 1.3.1-6+b2 162,0 кБ1 871,0 кБ [списък на файловете]