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

[ Quellcode: psmt2-frontend ]

Paket: psmt2-frontend (0.4.0-1 und andere)

Links für psmt2-frontend

Debian-Ressourcen:

Quellcode-Paket psmt2-frontend herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [github.com]

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu psmt2-frontend

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.33)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libpsmt2-frontend-ocaml (= 0.4.0-1) [nicht amd64]

Parse and type-check SMT-LIB 2 (runtime files)

dep: libpsmt2-frontend-ocaml (= 0.4.0-1+b1) [amd64]

psmt2-frontend herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	0.4.0-1+b1	437,5 kB	1.883,0 kB	[Liste der Dateien]
arm64	0.4.0-1	453,5 kB	1.949,0 kB	[Liste der Dateien]
armel	0.4.0-1	156,6 kB	841,0 kB	[Liste der Dateien]
armhf	0.4.0-1	381,9 kB	1.187,0 kB	[Liste der Dateien]
i386	0.4.0-1	389,2 kB	1.487,0 kB	[Liste der Dateien]
mips64el	0.4.0-1	163,7 kB	947,0 kB	[Liste der Dateien]
mipsel	0.4.0-1	163,7 kB	909,0 kB	[Liste der Dateien]
ppc64el	0.4.0-1	423,0 kB	1.893,0 kB	[Liste der Dateien]
s390x	0.4.0-1	407,3 kB	1.870,0 kB	[Liste der Dateien]