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

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

Ссылки для libpsmt2-frontend-ocaml-dev

Screenshot

Ресурсы Debian:

Исходный код psmt2-frontend:

Сопровождающие:

Внешние ресурсы:

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

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

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

This package provides the dev files.

Другие пакеты, относящиеся к libpsmt2-frontend-ocaml-dev

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

Загрузка libpsmt2-frontend-ocaml-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
armhf 0.4.0-4+b1 1 637,8 Кб2 502,0 Кб [список файлов]