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

[ Zdroj: psmt2-frontend ]

Balík: psmt2-frontend (0.4.0-1 a iné)

Odkazy pre psmt2-frontend

Zdroje Debian:

Stiahnuť zdrojový balík psmt2-frontend:

Správcovia:

Externé zdroje:

Domovská stránka [github.com]

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom psmt2-frontend

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.33)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libpsmt2-frontend-ocaml (= 0.4.0-1) [nie amd64]

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

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

Stiahnuť psmt2-frontend

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	0.4.0-1+b1	437.5 kB	1,883.0 kB	[zoznam súborov]
arm64	0.4.0-1	453.5 kB	1,949.0 kB	[zoznam súborov]
armel	0.4.0-1	156.6 kB	841.0 kB	[zoznam súborov]
armhf	0.4.0-1	381.9 kB	1,187.0 kB	[zoznam súborov]
i386	0.4.0-1	389.2 kB	1,487.0 kB	[zoznam súborov]
mips64el	0.4.0-1	163.7 kB	947.0 kB	[zoznam súborov]
mipsel	0.4.0-1	163.7 kB	909.0 kB	[zoznam súborov]
ppc64el	0.4.0-1	423.0 kB	1,893.0 kB	[zoznam súborov]
s390x	0.4.0-1	407.3 kB	1,870.0 kB	[zoznam súborov]