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

[ Pakiet źródłowy: psmt2-frontend ]

Pakiet: psmt2-frontend (0.4.0-4 i inne)

Odnośniki dla psmt2-frontend

Zasoby systemu Debian:

Pobieranie pakietu źródłowego psmt2-frontend:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z psmt2-frontend

wymaga

poleca

sugeruje

enhances

dep: libatomic1 (>= 4.8) [armel]

Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic
dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez 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]

Algorytm do szybkiej bezstratnej kompresji

Pobieranie psmt2-frontend

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.4.0-4+b3	512,2 KiB	2 137,0 KiB	[lista plików]
arm64	0.4.0-4+b3	564,6 KiB	2 569,0 KiB	[lista plików]
armel	0.4.0-4+b3	194,4 KiB	998,0 KiB	[lista plików]
armhf	0.4.0-4+b3	193,1 KiB	934,0 KiB	[lista plików]
i386	0.4.0-4+b3	227,5 KiB	1 042,0 KiB	[lista plików]
ppc64el	0.4.0-4+b3	528,8 KiB	2 377,0 KiB	[lista plików]
riscv64	0.4.0-4+b3	532,2 KiB	2 253,0 KiB	[lista plików]
s390x	0.4.0-4+b3	517,9 KiB	2 457,0 KiB	[lista plików]