Paquet source : proofgeneral (4.4.1~pre170114-1.2)
Liens pour proofgeneral
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Responsable :
Ressources externes :
- Page d'accueil [proofgeneral.github.io]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- proofgeneral
- frontal générique d’assistants de preuve
- proofgeneral-doc
- generic frontend for proof assistants - documentation
Autres paquets associés à proofgeneral
|
|
-
- adep: debhelper (>= 9)
- programmes assistants pour debian/rules
-
- adep: texinfo
- Système de documentation pour l'information en ligne ou imprimée
-
- adep: texlive-latex-recommended
- TeX Live: LaTeX recommended packages
-
- adep: texlive-plain-generic
- TeX Live : paquets pour Plain (La)TeX
-
- adep: texlive-fonts-recommended
- TeX Live : fontes recommendées
-
- adep: emacs-gtk
- éditeur de texte GNU Emacs avec interface graphique GTK+
Download proofgeneral
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| proofgeneral_4.4.1~pre170114-1.2.dsc | 1,9 ko | 21b7565fce5cb4e7ac1144322e733d49 |
| proofgeneral_4.4.1~pre170114.orig.tar.xz | 9 081,8 ko | 56ff3a7d19e7062598664674aa890332 |
| proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz | 19,4 ko | f93803a132978a784df69075beb0b89a |