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

[ Source: psmt2-frontend ]

Paketti: psmt2-frontend (0.4.0-1 ja muut)

Links for psmt2-frontend

Debian-palvelut:

Imuroi lähdekoodipaketti psmt2-frontend:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

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.

Muut pakettiin psmt2-frontend liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.33)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libpsmt2-frontend-ocaml (= 0.4.0-1) [ei amd64]

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

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

Imuroi psmt2-frontend

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	0.4.0-1+b1	437.5 kt	1,883.0 kt	[tiedostoluettelo]
arm64	0.4.0-1	453.5 kt	1,949.0 kt	[tiedostoluettelo]
armel	0.4.0-1	156.6 kt	841.0 kt	[tiedostoluettelo]
armhf	0.4.0-1	381.9 kt	1,187.0 kt	[tiedostoluettelo]
i386	0.4.0-1	389.2 kt	1,487.0 kt	[tiedostoluettelo]
mips64el	0.4.0-1	163.7 kt	947.0 kt	[tiedostoluettelo]
mipsel	0.4.0-1	163.7 kt	909.0 kt	[tiedostoluettelo]
ppc64el	0.4.0-1	423.0 kt	1,893.0 kt	[tiedostoluettelo]
s390x	0.4.0-1	407.3 kt	1,870.0 kt	[tiedostoluettelo]