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

[ Källkod: psmt2-frontend ]

Paket: libpsmt2-frontend-ocaml (0.4.0-4 och andra)

Länkar för libpsmt2-frontend-ocaml

Debianresurser:

Hämta källkodspaketet psmt2-frontend:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

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.

Andra paket besläktade med libpsmt2-frontend-ocaml

beror

rekommenderar

föreslår

enhances

dep: libstdlib-ocaml-2d5j3 [s390x]

virtuellt paket som tillhandahålls av libstdlib-ocaml
dep: libstdlib-ocaml-m4xw9 [amd64, arm64, ppc64el, riscv64]

virtuellt paket som tillhandahålls av libstdlib-ocaml
dep: libstdlib-ocaml-ye7o9 [armel, armhf, i386]

virtuellt paket som tillhandahålls av libstdlib-ocaml
dep: ocaml-base-5.3.0

virtuellt paket som tillhandahålls av ocaml-base

rec: ocaml-findlib

management tool for OCaml libraries

Hämta libpsmt2-frontend-ocaml

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	0.4.0-4+b3	602,2 kbyte	1.503,0 kbyte	[filförteckning]
arm64	0.4.0-4+b3	612,1 kbyte	1.646,0 kbyte	[filförteckning]
armel	0.4.0-4+b3	483,1 kbyte	776,0 kbyte	[filförteckning]
armhf	0.4.0-4+b3	483,1 kbyte	776,0 kbyte	[filförteckning]
i386	0.4.0-4+b3	483,0 kbyte	776,0 kbyte	[filförteckning]
ppc64el	0.4.0-4+b3	601,6 kbyte	1.582,0 kbyte	[filförteckning]
riscv64	0.4.0-4+b3	606,7 kbyte	1.538,0 kbyte	[filförteckning]
s390x	0.4.0-4+b3	604,2 kbyte	1.574,0 kbyte	[filförteckning]