Paquet source : mathpartir (1.2.0-3)
Liens pour mathpartir
Ressources Debian :
- Rapports de bogues
- Informations pour les développeurs (PTS)
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Responsable :
Ressources externes :
- Page d'accueil [pauillac.inria.fr]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- mathpartir
- LaTeX macros for typesetting inference rules
Autres paquets associés à mathpartir
|
|
-
- adep: debhelper (>= 7.0)
- Programmes assistants pour debian/rules
-
- adep: tex-common
- infrastructure commune pour construire et installer TeX
-
- idep: hevea
- Transforme du code LaTeX en HTML, info ou texte
Download mathpartir
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| mathpartir_1.2.0-3.dsc | 1,1 ko | 6a6c51797d823c24c111232efe3a905f |
| mathpartir_1.2.0.orig.tar.gz | 228,7 ko | 7b205eb7fb68264f96ff7c567c165fcc |
| mathpartir_1.2.0-3.debian.tar.gz | 2,7 ko | abe886dd31a2e9b95f9bb328c59e66f5 |