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

[ Kaynak: psmt2-frontend ]

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

psmt2-frontend için bağlantılar

Debian Kaynakları:

psmt2-frontend Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

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

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libatomic1 (>= 4.8) [armel]

support library providing __atomic built-in functions
dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3)

Parse and type-check SMT-LIB 2 (runtime files)
dep: libzstd1 (>= 1.5.5) [armel, armhf, i386]

fast lossless compression algorithm

psmt2-frontend indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	0.4.0-4+b3	512,2 kB	2.137,0 kB	[dosya listesi]
arm64	0.4.0-4+b3	564,6 kB	2.569,0 kB	[dosya listesi]
armel	0.4.0-4+b3	194,4 kB	998,0 kB	[dosya listesi]
armhf	0.4.0-4+b3	193,1 kB	934,0 kB	[dosya listesi]
i386	0.4.0-4+b3	227,5 kB	1.042,0 kB	[dosya listesi]
ppc64el	0.4.0-4+b3	528,8 kB	2.377,0 kB	[dosya listesi]
riscv64	0.4.0-4+b3	532,2 kB	2.253,0 kB	[dosya listesi]
s390x	0.4.0-4+b3	517,9 kB	2.457,0 kB	[dosya listesi]