» Ubuntu » Paquets » tenacious » doc » mathcomp-doc
[  stonking  ] [  tenacious  ]
[ Paquet source : ssreflect  ]

Paquet : mathcomp-doc (2.6.0-3build2) [universe]

À propos

Screenshot

published in section universe

Ressources Ubuntu :

Source Package ssreflect:

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

Mathematical Components library for Coq (doc)

Autres paquets associés à mathcomp-doc

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger mathcomp-doc

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 6 711,8 ko133 745,0 ko [liste des fichiers]