hoppa över navigationen

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Paket / sid (unstable) / ocaml / psmt2-frontend

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

[ Källkod: psmt2-frontend  ]

Länkar för psmt2-frontend

Debianresurser:

• Felrapporter
• Developer Information
• Ändringslogg för Debian
• Upphovsrättsfil
• Debian Patch Tracker

Hämta källkodspaketet psmt2-frontend:

• [psmt2-frontend_0.4.0-4.dsc]
• [psmt2-frontend_0.4.0.orig.tar.gz]
• [psmt2-frontend_0.4.0-4.debian.tar.xz]

Ansvariga:

• Debian OCaml Maintainers (QA-sida, E-postarkiv)
• Julien Puydt (QA-sida)

Externa resurser:

• Hemsida [github.com]

Liknande paket:

• libpsmt2-frontend-ocaml-dev
• z3
• python3-parse-stages
• libghc-simple-smt-dev
• libghc-simple-smt-prof
• libghc-simple-smt-doc
• python3-pkgconfig
• libsymfpu-dev
• r-cran-parsetools
• exempi
• libiptables-parse-perl

Andra paket besläktade med psmt2-frontend

beror

rekommenderar

föreslår

enhances

• dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.38) [ej alpha, ia64, loong64, sh4]

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

  dep: libc6 (>= 2.41) [loong64, sh4]

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

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6.1-udeb

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

• dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1) [ia64]

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

  dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3) [ej hppa, ia64, loong64]

  dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b4) [hppa, loong64]

• dep: libzstd1 (>= 1.5.5) [ej amd64, arm64, ia64, ppc64el, riscv64, s390x]

  fast lossless compression algorithm

Hämta psmt2-frontend

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	0.4.0-4+b3	211,0 kbyte	1.064,0 kbyte	[filförteckning]
amd64	0.4.0-4+b3	512,2 kbyte	2.137,0 kbyte	[filförteckning]
arm64	0.4.0-4+b3	564,6 kbyte	2.569,0 kbyte	[filförteckning]
armel	0.4.0-4+b3	194,4 kbyte	998,0 kbyte	[filförteckning]
armhf	0.4.0-4+b3	193,1 kbyte	934,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	0.4.0-4+b4	204,1 kbyte	995,0 kbyte	[filförteckning]
i386	0.4.0-4+b3	227,5 kbyte	1.042,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	0.4.0-3+b1	204,1 kbyte	1.148,0 kbyte	[filförteckning]
loong64 (inofficiell anpassning)	0.4.0-4+b4	210,7 kbyte	1.062,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	0.4.0-4+b3	176,7 kbyte	910,0 kbyte	[filförteckning]
mips64el	0.4.0-4+b3	206,3 kbyte	1.106,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	0.4.0-4+b3	224,6 kbyte	1.255,0 kbyte	[filförteckning]
ppc64el	0.4.0-4+b3	528,8 kbyte	2.377,0 kbyte	[filförteckning]
riscv64	0.4.0-4+b3	532,2 kbyte	2.253,0 kbyte	[filförteckning]
s390x	0.4.0-4+b3	517,9 kbyte	2.457,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	0.4.0-4+b3	202,4 kbyte	934,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	0.4.0-4+b3	187,0 kbyte	1.643,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	0.4.0-4+b3	209,1 kbyte	978,0 kbyte	[filförteckning]