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

[ Paquet source : psmt2-frontend ]

Paquet : psmt2-frontend (0.4.0-4 et autres)

Liens pour psmt2-frontend

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 (tool)

A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.

This package provides the command-line tool.

Autres paquets associés à psmt2-frontend

dépendances

recommandations

suggestions

enhances

dep: libatomic1 (>= 4.8) [armel]

bibliothèque de prise en charge fournissant des fonctions internes __atomic
dep: libc6 (>= 2.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3)

Parse and type-check SMT-LIB 2 (runtime files)
dep: libzstd1 (>= 1.5.5) [armel, armhf, i386]

algorithme de compression rapide sans perte

Télécharger psmt2-frontend

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	512,2 ko	2 137,0 ko	[liste des fichiers]
arm64	0.4.0-4+b3	564,6 ko	2 569,0 ko	[liste des fichiers]
armel	0.4.0-4+b3	194,4 ko	998,0 ko	[liste des fichiers]
armhf	0.4.0-4+b3	193,1 ko	934,0 ko	[liste des fichiers]
i386	0.4.0-4+b3	227,5 ko	1 042,0 ko	[liste des fichiers]
ppc64el	0.4.0-4+b3	528,8 ko	2 377,0 ko	[liste des fichiers]
riscv64	0.4.0-4+b3	532,2 ko	2 253,0 ko	[liste des fichiers]
s390x	0.4.0-4+b3	517,9 ko	2 457,0 ko	[liste des fichiers]