все параметры
[  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: psmt2-frontend  ]

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

Ссылки для psmt2-frontend

Screenshot

Ресурсы Debian:

Исходный код 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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка psmt2-frontend

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 0.4.0-3+b1 174,8 Кб972,0 Кб [список файлов]
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 Кб [список файлов]
hppa (неофициальный перенос) 0.4.0-3+b1 166,7 Кб867,0 Кб [список файлов]
i386 0.4.0-3+b1 408,0 Кб1 582,0 Кб [список файлов]
ia64 (неофициальный перенос) 0.4.0-3+b1 204,1 Кб1 148,0 Кб [список файлов]
m68k (неофициальный перенос) 0.4.0-3+b1 147,8 Кб814,0 Кб [список файлов]
mips64el 0.4.0-3+b1 166,3 Кб1 005,0 Кб [список файлов]
ppc64 (неофициальный перенос) 0.4.0-3+b1 438,2 Кб2 236,0 Кб [список файлов]
ppc64el 0.4.0-3+b1 442,0 Кб1 980,0 Кб [список файлов]
riscv64 0.4.0-3+b2 431,5 Кб1 828,0 Кб [список файлов]
s390x 0.4.0-3+b1 424,4 Кб1 944,0 Кб [список файлов]
sh4 (неофициальный перенос) 0.4.0-3+b1 167,5 Кб838,0 Кб [список файлов]
sparc64 (неофициальный перенос) 0.4.0-3+b1 160,4 Кб1 615,0 Кб [список файлов]
x32 (неофициальный перенос) 0.4.0-3+b1 170,7 Кб850,0 Кб [список файлов]