| Paketname | libcoq-ocaml |
| Beschreibung | runtime libraries for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 6290 Byte |
| Hängt ab von | liblablgtk2-ocaml-v69e2, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 1783864 Byte |
| Prüfsumme MD5 | 714fc74e63da11449e04db2f4083b9cc |
| Prüfsumme SHA1 | 2d3829c938e747d2eef1122a630a5609a48607a9 |
| Prüfsumme SHA256 | 14c721cd7be756c69054d2b8914069e8f0e133440cdca6b0bd61478cc381a791 |
| Link zum Herunterladen | libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb |
| Ausführliche Beschreibung | |