Package: psmt2-frontend (0.4.0-4 and others)

Links for psmt2-frontend

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.

dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

support library providing __atomic built-in functions
dep: libc6 (>= 2.38) [not alpha, ia64, sh4]

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.39) [sh4]
dep: libc6.1 (>= 2.37) [ia64]

GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1) [ia64]

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

dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b1) [not ia64]
dep: libzstd1 (>= 1.5.5) [not amd64, arm64, ia64, ppc64el, riscv64, s390x]

fast lossless compression algorithm

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.4.0-4+b1	202.5 kB	1,062.0 kB	[list of files]
amd64	0.4.0-4+b1	501.2 kB	2,099.0 kB	[list of files]
arm64	0.4.0-4+b1	552.1 kB	2,502.0 kB	[list of files]
armel	0.4.0-4+b1	185.7 kB	939.0 kB	[list of files]
armhf	0.4.0-4+b1	184.1 kB	863.0 kB	[list of files]
hppa (unofficial port)	0.4.0-4+b1	195.4 kB	965.0 kB	[list of files]
i386	0.4.0-4+b1	216.6 kB	1,011.0 kB	[list of files]
ia64 (unofficial port)	0.4.0-3+b1	204.1 kB	1,148.0 kB	[list of files]
m68k (unofficial port)	0.4.0-4+b1	169.8 kB	883.0 kB	[list of files]
mips64el	0.4.0-4+b1	197.0 kB	1,101.0 kB	[list of files]
ppc64 (unofficial port)	0.4.0-4+b1	214.0 kB	1,189.0 kB	[list of files]
ppc64el	0.4.0-4+b1	516.3 kB	2,374.0 kB	[list of files]
riscv64	0.4.0-4+b1	519.6 kB	2,222.0 kB	[list of files]
s390x	0.4.0-4+b1	505.7 kB	2,415.0 kB	[list of files]
sh4 (unofficial port)	0.4.0-4+b1	195.9 kB	932.0 kB	[list of files]
sparc64 (unofficial port)	0.4.0-4+b1	181.6 kB	1,642.0 kB	[list of files]
x32 (unofficial port)	0.4.0-4+b1	199.4 kB	959.0 kB	[list of files]