[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Paquet source : psmt2-frontend ]

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

Liens pour libpsmt2-frontend-ocaml

Ressources Debian :

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-2d5j3 [s390x]

paquet virtuel fourni par libstdlib-ocaml
dep: libstdlib-ocaml-m4xw9 [amd64, arm64, ppc64el, riscv64]

paquet virtuel fourni par libstdlib-ocaml
dep: libstdlib-ocaml-ye7o9 [armel, armhf, i386]

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]
armel	0.4.0-4+b3	483,1 ko	776,0 ko	[liste des fichiers]
armhf	0.4.0-4+b3	483,1 ko	776,0 ko	[liste des fichiers]
i386	0.4.0-4+b3	483,0 ko	776,0 ko	[liste des fichiers]
ppc64el	0.4.0-4+b3	601,6 ko	1 582,0 ko	[liste des fichiers]
riscv64	0.4.0-4+b3	606,7 ko	1 538,0 ko	[liste des fichiers]
s390x	0.4.0-4+b3	604,2 ko	1 574,0 ko	[liste des fichiers]