套件：libpsmt2-frontend-ocaml-dev（0.4.0-3 以及其他的）

[ 原始碼： 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 有關的套件

• dep: libpsmt2-frontend-ocaml-ci1h5 [armel, mips64el]

  本虛擬套件由這些套件填實： libpsmt2-frontend-ocaml

• dep: libpsmt2-frontend-ocaml-ffv88 [armhf, i386]

  本虛擬套件由這些套件填實： libpsmt2-frontend-ocaml

• dep: libpsmt2-frontend-ocaml-orsx4 [amd64, arm64, ppc64el]

  本虛擬套件由這些套件填實： libpsmt2-frontend-ocaml

• dep: libpsmt2-frontend-ocaml-z08e1 [s390x]

  本虛擬套件由這些套件填實： libpsmt2-frontend-ocaml

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

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-dkl58 [i386]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-ep7y0 [amd64]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-fyga0 [arm64]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-rayz1 [armhf]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

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

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-vneg5 [s390x]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: ocaml-4.14.1

  本虛擬套件由這些套件填實： ocaml

• rec: ocaml-findlib

  management tool for OCaml libraries

下載 libpsmt2-frontend-ocaml-dev

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
amd64	0.4.0-3+b1	1，142。2 kB	6，598。0 kB	[檔案列表]
arm64	0.4.0-3+b1	1，140。9 kB	6，616。0 kB	[檔案列表]
armel	0.4.0-3+b1	1，026。7 kB	5，326。0 kB	[檔案列表]
armhf	0.4.0-3+b1	1，146。2 kB	6，295。0 kB	[檔案列表]
i386	0.4.0-3+b1	1，139。6 kB	6，308。0 kB	[檔案列表]
mips64el	0.4.0-3+b1	1，026。8 kB	5，326。0 kB	[檔案列表]
ppc64el	0.4.0-3+b1	1，154。1 kB	6，791。0 kB	[檔案列表]
s390x	0.4.0-3+b1	1，133。6 kB	6，496。0 kB	[檔案列表]