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]
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) sid, toutes les sections, et toutes les architectures. 7 paquets correspondants trouvés.
Paquet source mathcomp-algebra-tactics
- sid (misc): 1.2.3-3
Paquets binaires : libcoq-mathcomp-algebra-tactics
Paquet source mathcomp-analysis
- sid (misc): 1.1.0-2
Paquets binaires : libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Paquet source mathcomp-bigenough
- sid (misc): 1.0.1-13
Paquets binaires : libcoq-mathcomp-bigenough
Paquet source mathcomp-finmap
- sid (misc): 2.1.0-1
Paquets binaires : libcoq-mathcomp-finmap
Paquet source mathcomp-multinomials
- sid (misc): 2.2.0-2
Paquets binaires : libcoq-mathcomp-multinomials
Paquet source mathcomp-real-closed
- sid (misc): 2.0.0-2
Paquets binaires : libcoq-mathcomp-real-closed
Paquet source mathcomp-zify
- sid (misc): 1.5.0+2.0+8.16-2
Paquets binaires : libcoq-mathcomp-zify