Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Chercher dans toutes les suites
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 source dont les noms contiennent mathcomp dans version(s) trixie, toutes les sections, et architecture(s) hurd-i386. 7 paquets correspondants trouvés.
Paquet source mathcomp-algebra-tactics
- trixie (misc): 1.2.3-1
Paquets binaires : libcoq-mathcomp-algebra-tactics
Paquet source mathcomp-analysis
- trixie (misc): 1.0.0-1
Paquets binaires : libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Paquet source mathcomp-bigenough
- trixie (misc): 1.0.1-12
Paquets binaires : libcoq-mathcomp-bigenough
Paquet source mathcomp-finmap
- trixie (misc): 2.0.0-2
Paquets binaires : libcoq-mathcomp-finmap
Paquet source mathcomp-multinomials
- trixie (misc): 2.2.0-1
Paquets binaires : libcoq-mathcomp-multinomials
Paquet source mathcomp-real-closed
- trixie (misc): 2.0.0-1
Paquets binaires : libcoq-mathcomp-real-closed
Paquet source mathcomp-zify
- trixie (misc): 1.5.0+2.0+8.16-1
Paquets binaires : libcoq-mathcomp-zify