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

[ Източник: psmt2-frontend ]

Пакет: libpsmt2-frontend-ocaml (0.4.0-4 и други)

Връзки за libpsmt2-frontend-ocaml

Ресурси за Debian:

Изтегляне на пакет-източник psmt2-frontend.

Отговорници:

Външни препратки:

Начална страница [github.com]

Подобни пакети:

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

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

This package provides the runtime files.

Други пакети, свързани с libpsmt2-frontend-ocaml

зависимости

препоръчани

предложени

enhances

dep: libstdlib-ocaml-2d5j3 [s390x]

виртуален пакет, предлаган от libstdlib-ocaml
dep: libstdlib-ocaml-m4xw9 [amd64, arm64, ppc64el, riscv64]

виртуален пакет, предлаган от libstdlib-ocaml
dep: libstdlib-ocaml-ye7o9 [armel, armhf, i386]

виртуален пакет, предлаган от libstdlib-ocaml
dep: ocaml-base-5.3.0

виртуален пакет, предлаган от ocaml-base

rec: ocaml-findlib

management tool for OCaml libraries

Изтегляне на libpsmt2-frontend-ocaml

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.4.0-4+b3	602,2 кБ	1 503,0 кБ	[списък на файловете]
arm64	0.4.0-4+b3	612,1 кБ	1 646,0 кБ	[списък на файловете]
armel	0.4.0-4+b3	483,1 кБ	776,0 кБ	[списък на файловете]
armhf	0.4.0-4+b3	483,1 кБ	776,0 кБ	[списък на файловете]
i386	0.4.0-4+b3	483,0 кБ	776,0 кБ	[списък на файловете]
ppc64el	0.4.0-4+b3	601,6 кБ	1 582,0 кБ	[списък на файловете]
riscv64	0.4.0-4+b3	606,7 кБ	1 538,0 кБ	[списък на файловете]
s390x	0.4.0-4+b3	604,2 кБ	1 574,0 кБ	[списък на файловете]