Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limiter à l'architecture : [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Chercher dans toutes les architectures
Certains résultats n'ont pas été affichés en raison des paramètres de recherche.
Vous avez recherché des paquets dont les noms contiennent libcvc4parser7 dans toutes les suites, toutes les sections, et architecture(s) x32. 2 paquets correspondants trouvés.
Résultats exacts
Paquet libcvc4parser7
- sid (unstable) (libs):
automated theorem prover for SMT problems (parser runtime)
1.8-3+b2 [debports]: x32
Autres résultats
Paquet libcvc4parser7-dbgsym
- sid (unstable) (debug):
debug symbols for libcvc4parser7
1.8-3+b2 [debports]: x32