[ experimental ]
[ Paquet source : ssreflect ]
Paquet : mathcomp-doc (2.5.0-2)
Liens pour mathcomp-doc
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source ssreflect :
Responsables :
- Debian OCaml Maintainers (Page QA, Archive du courrier électronique)
- Stéphane Glondu (Page QA)
- Julien Puydt (Page QA)
- Ralf Treinen (Page QA)
Ressources externes :
- Page d'accueil [math-comp.github.io]
Paquets similaires :
Paquet « expérimental »
Avertissement : ce paquet appartient à la distribution expérimentale
. Cela signifie qu'il peut être instable ou bogué et peut éventuellement causer des pertes de données. Assurez-vous de consulter le journal des modifications (changelog
) et les autres documentations existantes avant de l'utiliser.
Mathematical Components library for Coq (doc)
Télécharger mathcomp-doc
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 3 559,5 ko | 146 432,0 ko | [liste des fichiers] |