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

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

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

• dep: libc6 (>= 2.35)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1)

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

Загрузка psmt2-frontend

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.4.0-3+b1	423,0 Кб	1 768,0 Кб	[список файлов]
arm64	0.4.0-3+b1	472,9 Кб	2 108,0 Кб	[список файлов]
armel	0.4.0-3+b1	159,8 Кб	838,0 Кб	[список файлов]
armhf	0.4.0-3+b1	396,2 Кб	1 274,0 Кб	[список файлов]
i386	0.4.0-3+b1	408,0 Кб	1 582,0 Кб	[список файлов]
mips64el	0.4.0-3+b1	166,3 Кб	1 005,0 Кб	[список файлов]
ppc64el	0.4.0-3+b1	442,0 Кб	1 980,0 Кб	[список файлов]
s390x	0.4.0-3+b1	424,4 Кб	1 944,0 Кб	[список файлов]