Paket: psmt2-frontend (0.4.0-3 ve diğerleri)

[ Kaynak: psmt2-frontend  ]

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.

psmt2-frontend ile İlgili Diğer Paketler

• dep: libc6 (>= 2.34) [riscv64]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

  dep: libc6 (>= 2.35) [alpha, ia64, riscv64, sh4 değil]

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.35) [alpha]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb

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

• dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1) [riscv64 değil]

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

  dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b2) [riscv64]

psmt2-frontend indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	0.4.0-3+b1	174,8 kB	972,0 kB	[dosya listesi]
amd64	0.4.0-3+b1	423,0 kB	1.768,0 kB	[dosya listesi]
arm64	0.4.0-3+b1	472,9 kB	2.108,0 kB	[dosya listesi]
armel	0.4.0-3+b1	159,8 kB	838,0 kB	[dosya listesi]
armhf	0.4.0-3+b1	396,2 kB	1.274,0 kB	[dosya listesi]
hppa (resmi olmayan port)	0.4.0-3+b1	166,7 kB	867,0 kB	[dosya listesi]
i386	0.4.0-3+b1	408,0 kB	1.582,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	0.4.0-3+b1	204,1 kB	1.148,0 kB	[dosya listesi]
m68k (resmi olmayan port)	0.4.0-3+b1	147,8 kB	814,0 kB	[dosya listesi]
mips64el	0.4.0-3+b1	166,3 kB	1.005,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	0.4.0-3+b1	438,2 kB	2.236,0 kB	[dosya listesi]
ppc64el	0.4.0-3+b1	442,0 kB	1.980,0 kB	[dosya listesi]
riscv64	0.4.0-3+b2	431,5 kB	1.828,0 kB	[dosya listesi]
s390x	0.4.0-3+b1	424,4 kB	1.944,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	0.4.0-3+b1	167,5 kB	838,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	0.4.0-3+b1	160,4 kB	1.615,0 kB	[dosya listesi]
x32 (resmi olmayan port)	0.4.0-3+b1	170,7 kB	850,0 kB	[dosya listesi]