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

[ Källkod: psmt2-frontend ]

Paket: psmt2-frontend (0.4.0-1 och andra)

Länkar för psmt2-frontend

Debianresurser:

Hämta källkodspaketet psmt2-frontend:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

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.

Andra paket besläktade med psmt2-frontend

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.33)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libpsmt2-frontend-ocaml (= 0.4.0-1) [ej amd64]

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

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

Hämta psmt2-frontend

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	0.4.0-1+b1	437,5 kbyte	1.883,0 kbyte	[filförteckning]
arm64	0.4.0-1	453,5 kbyte	1.949,0 kbyte	[filförteckning]
armel	0.4.0-1	156,6 kbyte	841,0 kbyte	[filförteckning]
armhf	0.4.0-1	381,9 kbyte	1.187,0 kbyte	[filförteckning]
i386	0.4.0-1	389,2 kbyte	1.487,0 kbyte	[filförteckning]
mips64el	0.4.0-1	163,7 kbyte	947,0 kbyte	[filförteckning]
mipsel	0.4.0-1	163,7 kbyte	909,0 kbyte	[filförteckning]
ppc64el	0.4.0-1	423,0 kbyte	1.893,0 kbyte	[filförteckning]
s390x	0.4.0-1	407,3 kbyte	1.870,0 kbyte	[filförteckning]