Pakiet: libpsmt2-frontend-ocaml (0.4.0-3 i inne)

[ Pakiet źródłowy: 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.

Inne pakiety związane z libpsmt2-frontend-ocaml

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

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-dkl58 [i386]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-ep7y0 [amd64]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-fyga0 [arm64]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-rayz1 [armhf]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

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

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-vneg5 [s390x]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: ocaml-base-4.14.1

  pakiet wirtualny udostępniany przez ocaml-base

• rec: ocaml-findlib

  Narzędzie zarządzające bibliotekami OCaml

Pobieranie libpsmt2-frontend-ocaml

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.4.0-3+b1	862,3 KiB	3 581,0 KiB	[lista plików]
arm64	0.4.0-3+b1	872,2 KiB	3 685,0 KiB	[lista plików]
armel	0.4.0-3+b1	752,8 KiB	2 909,0 KiB	[lista plików]
armhf	0.4.0-3+b1	857,5 KiB	3 402,0 KiB	[lista plików]
i386	0.4.0-3+b1	853,9 KiB	3 493,0 KiB	[lista plików]
mips64el	0.4.0-3+b1	748,3 KiB	2 909,0 KiB	[lista plików]
ppc64el	0.4.0-3+b1	868,1 KiB	3 685,0 KiB	[lista plików]
s390x	0.4.0-3+b1	864,2 KiB	3 621,0 KiB	[lista plików]