[ bianca ]

[ Paquet source : psmt2-frontend ]

Paquet : libpsmt2-frontend-ocaml (0.4.0-4 et autres)

Liens pour libpsmt2-frontend-ocaml

Suivis des correctifs pour eLxr

Télécharger le paquet source psmt2-frontend :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

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.

Autres paquets associés à libpsmt2-frontend-ocaml

dépendances

recommandations

suggestions

enhances

dep: libstdlib-ocaml-m4xw9

paquet virtuel fourni par libstdlib-ocaml
dep: ocaml-base-5.3.0

paquet virtuel fourni par ocaml-base

rec: ocaml-findlib

management tool for OCaml libraries

Télécharger libpsmt2-frontend-ocaml

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	0.4.0-4+b3	602,2 ko	1 503,0 ko	[liste des fichiers]
arm64	0.4.0-4+b3	612,1 ko	1 646,0 ko	[liste des fichiers]