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

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

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

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

This package provides the runtime files.

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

• dep: libstdlib-ocaml-058x2 [ppc64el]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-dkl58 [i386]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-ep7y0 [amd64]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-fyga0 [arm64]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-rayz1 [armhf]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-rg5q2 [armel, mips64el]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-vneg5 [s390x]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: ocaml-base-4.14.1

  виртуальный пакет, предоставляемый ocaml-base

• rec: ocaml-findlib

  management tool for OCaml libraries

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

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.4.0-3+b1	862,3 Кб	3 581,0 Кб	[список файлов]
arm64	0.4.0-3+b1	872,2 Кб	3 685,0 Кб	[список файлов]
armel	0.4.0-3+b1	752,8 Кб	2 909,0 Кб	[список файлов]
armhf	0.4.0-3+b1	857,5 Кб	3 402,0 Кб	[список файлов]
i386	0.4.0-3+b1	853,9 Кб	3 493,0 Кб	[список файлов]
mips64el	0.4.0-3+b1	748,3 Кб	2 909,0 Кб	[список файлов]
ppc64el	0.4.0-3+b1	868,1 Кб	3 685,0 Кб	[список файлов]
s390x	0.4.0-3+b1	864,2 Кб	3 621,0 Кб	[список файлов]