| Paketname | libcoq-ocaml |
| Beschreibung | runtime libraries for Coq |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 6375 Byte |
| Hängt ab von | liblablgtk2-ocaml-v69e2, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq |
| Paketgröße | 1858594 Byte |
| Prüfsumme MD5 | fc877d5d16b1f7b3ddcd8312f2899704 |
| Prüfsumme SHA1 | 37d0f9c4e12927c8e2ce3184bb5c6c6dd15524d7 |
| Prüfsumme SHA256 | 9f8a4265cbe470adbfa3aeaffda4b3e7e6fa528be1afe41cc013c9977ccc53cd |
| Link zum Herunterladen | libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb |
| Ausführliche Beschreibung | |