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 flatzinc dans toutes les suites, toutes les sections, et architecture(s) riscv64. 6 paquets correspondants trouvés.
Résultats exacts
Paquet flatzinc
- sid (unstable) (devel):
constraint problem modelling language
6.2.0-5.1+b1: riscv64
Autres résultats
Paquet chuffed-flatzinc
- sid (unstable) (math):
lazy clause generation FlatZinc implememntation
0.13.1-1: riscv64
Paquet flatzinc-dbgsym
- sid (unstable) (debug):
debug symbols for flatzinc
6.2.0-5 [debports]: riscv64
Paquet libgecodeflatzinc49
- sid (unstable) (libs):
Gecode support for FlatZinc modelling language
6.2.0-5 [debports]: riscv64
Paquet libgecodeflatzinc49-dbgsym
- sid (unstable) (debug):
debug symbols for libgecodeflatzinc49
6.2.0-5 [debports]: riscv64
Paquet libgecodeflatzinc49t64
- sid (unstable) (libs):
Gecode support for FlatZinc modelling language
6.2.0-5.1+b1: riscv64