Paket: libpsmt2-frontend-ocaml-dev (0.4.0-1 ve diğerleri)

[ Kaynak: 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 ile İlgili Diğer Paketler

• dep: libpsmt2-frontend-ocaml-2n7g5 [amd64]

  sanal paketi sağlayan libpsmt2-frontend-ocaml

• dep: libpsmt2-frontend-ocaml-7esp5 [s390x]

  sanal paketi sağlayan libpsmt2-frontend-ocaml

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

  sanal paketi sağlayan libpsmt2-frontend-ocaml

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

  sanal paketi sağlayan libpsmt2-frontend-ocaml

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

  sanal paketi sağlayan libpsmt2-frontend-ocaml

• dep: ocaml-4.13.1

  sanal paketi sağlayan ocaml

• rec: ocaml-findlib

  management tool for OCaml libraries

libpsmt2-frontend-ocaml-dev indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	0.4.0-1+b1	1.438,0 kB	8.315,0 kB	[dosya listesi]
arm64	0.4.0-1	1.027,1 kB	5.897,0 kB	[dosya listesi]
armel	0.4.0-1	921,1 kB	4.899,0 kB	[dosya listesi]
armhf	0.4.0-1	1.036,9 kB	5.586,0 kB	[dosya listesi]
i386	0.4.0-1	1.023,1 kB	5.602,0 kB	[dosya listesi]
mips64el	0.4.0-1	921,1 kB	4.899,0 kB	[dosya listesi]
mipsel	0.4.0-1	921,1 kB	4.899,0 kB	[dosya listesi]
ppc64el	0.4.0-1	1.040,4 kB	6.011,0 kB	[dosya listesi]
s390x	0.4.0-1	1.033,5 kB	5.899,0 kB	[dosya listesi]