Paquet : libpsmt2-frontend-ocaml-dev (0.4.0-1 et autres)

[ Paquet source : 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.

Autres paquets associés à libpsmt2-frontend-ocaml-dev

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

  paquet virtuel fourni par libpsmt2-frontend-ocaml

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

  paquet virtuel fourni par libpsmt2-frontend-ocaml

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

  paquet virtuel fourni par libpsmt2-frontend-ocaml

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

  paquet virtuel fourni par libpsmt2-frontend-ocaml

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

  paquet virtuel fourni par libpsmt2-frontend-ocaml

• dep: ocaml-4.13.1

  paquet virtuel fourni par ocaml

• rec: ocaml-findlib

  management tool for OCaml libraries

Télécharger libpsmt2-frontend-ocaml-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	0.4.0-1+b1	1 438,0 ko	8 315,0 ko	[liste des fichiers]
arm64	0.4.0-1	1 027,1 ko	5 897,0 ko	[liste des fichiers]
armel	0.4.0-1	921,1 ko	4 899,0 ko	[liste des fichiers]
armhf	0.4.0-1	1 036,9 ko	5 586,0 ko	[liste des fichiers]
i386	0.4.0-1	1 023,1 ko	5 602,0 ko	[liste des fichiers]
mips64el	0.4.0-1	921,1 ko	4 899,0 ko	[liste des fichiers]
mipsel	0.4.0-1	921,1 ko	4 899,0 ko	[liste des fichiers]
ppc64el	0.4.0-1	1 040,4 ko	6 011,0 ko	[liste des fichiers]
s390x	0.4.0-1	1 033,5 ko	5 899,0 ko	[liste des fichiers]