| Paketname | libcoq-ocaml |
| Beschreibung | runtime libraries for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 8.3.pl2+dfsg-1build1 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 6484 Byte |
| Hängt ab von | liblablgtk2-ocaml-2mdk6, ocaml-base-nox-3.12.0, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 1780624 Byte |
| Prüfsumme MD5 | e023858a6e9adc72fa0b9e5aa7b76432 |
| Prüfsumme SHA1 | 4291d49a2db69b11de011b98daa3a7c0d459c6c2 |
| Prüfsumme SHA256 | f28a0b43869f730c5e0a20f33f0413c4f40d64dd761a32ba4df2113872f921ad |
| Link zum Herunterladen | libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb |
| Ausführliche Beschreibung | |