[ 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: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый 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 Кб	[список файлов]