[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Източник: psmt2-frontend ]

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

Връзки за 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: libc6 (>= 2.33)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libpsmt2-frontend-ocaml (= 0.4.0-1) [не amd64]

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

dep: libpsmt2-frontend-ocaml (= 0.4.0-1+b1) [amd64]

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.4.0-1+b1	437,5 кБ	1 883,0 кБ	[списък на файловете]
arm64	0.4.0-1	453,5 кБ	1 949,0 кБ	[списък на файловете]
armel	0.4.0-1	156,6 кБ	841,0 кБ	[списък на файловете]
armhf	0.4.0-1	381,9 кБ	1 187,0 кБ	[списък на файловете]
i386	0.4.0-1	389,2 кБ	1 487,0 кБ	[списък на файловете]
mips64el	0.4.0-1	163,7 кБ	947,0 кБ	[списък на файловете]
mipsel	0.4.0-1	163,7 кБ	909,0 кБ	[списък на файловете]
ppc64el	0.4.0-1	423,0 кБ	1 893,0 кБ	[списък на файловете]
s390x	0.4.0-1	407,3 кБ	1 870,0 кБ	[списък на файловете]