| Paketname | coq-doc |
| Beschreibung | documentation for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (multiverse) |
| Version | 8.3pl2-1build1 |
| Sektion | multiverse/doc |
| Priorität | optional |
| Installierte Größe | 40 Byte |
| Hängt ab von | coq-doc-html (>= 8.3pl2-1build1), coq-doc-pdf (>= 8.3pl2-1build1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 4594 Byte |
| Prüfsumme MD5 | a1270a199490dc243040acf5d4b1dfac |
| Prüfsumme SHA1 | dab91a1f933767afcddcdf1b5e5a9d85d2f364d9 |
| Prüfsumme SHA256 | d93896121bc85716dcf05ec8a1e203ad531945f17587b67ca94c71ff000c3dde |
| Link zum Herunterladen | coq-doc_8.3pl2-1build1_all.deb |
| Ausführliche Beschreibung | |