Пакет: psmt2-frontend (0.4.0-4 и други)

Връзки за psmt2-frontend

Ресурси за Debian:

Изтегляне на пакет-източник psmt2-frontend.

Отговорници:

Външни препратки:

Начална страница [github.com]

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

Parse and type-check SMT-LIB 2 (tool)

A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.

This package provides the command-line tool.

Други пакети, свързани с psmt2-frontend

зависимости

препоръчани

предложени

enhances

dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

support library providing __atomic built-in functions
dep: libc6 (>= 2.38) [не alpha, ia64, loong64, sh4]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.37) [ia64]

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1) [ia64]

Parse and type-check SMT-LIB 2 (runtime files)

dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3) [не hppa, ia64, loong64]

dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b4) [hppa, loong64]
dep: libzstd1 (>= 1.5.5) [не amd64, arm64, ia64, ppc64el, riscv64, s390x]

fast lossless compression algorithm

Изтегляне на psmt2-frontend

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	0.4.0-4+b3	211,0 кБ	1 064,0 кБ	[списък на файловете]
amd64	0.4.0-4+b3	512,2 кБ	2 137,0 кБ	[списък на файловете]
arm64	0.4.0-4+b3	564,6 кБ	2 569,0 кБ	[списък на файловете]
armel	0.4.0-4+b3	194,4 кБ	998,0 кБ	[списък на файловете]
armhf	0.4.0-4+b3	193,1 кБ	934,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	0.4.0-4+b4	204,1 кБ	995,0 кБ	[списък на файловете]
i386	0.4.0-4+b3	227,5 кБ	1 042,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	0.4.0-3+b1	204,1 кБ	1 148,0 кБ	[списък на файловете]
loong64 (неофициална архитектура)	0.4.0-4+b4	210,7 кБ	1 062,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	0.4.0-4+b3	176,7 кБ	910,0 кБ	[списък на файловете]
mips64el	0.4.0-4+b3	206,3 кБ	1 106,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	0.4.0-4+b3	224,6 кБ	1 255,0 кБ	[списък на файловете]
ppc64el	0.4.0-4+b3	528,8 кБ	2 377,0 кБ	[списък на файловете]
riscv64	0.4.0-4+b3	532,2 кБ	2 253,0 кБ	[списък на файловете]
s390x	0.4.0-4+b3	517,9 кБ	2 457,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	0.4.0-4+b3	202,4 кБ	934,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	0.4.0-4+b3	187,0 кБ	1 643,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	0.4.0-4+b3	209,1 кБ	978,0 кБ	[списък на файловете]