| Paketname | libssreflect-ocaml-dev |
| Beschreibung | small scale reflection extension for Coq (devt files) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 1.3pl4-1 |
| Sektion | ocaml |
| Priorität | extra |
| Installierte Größe | 1345 Byte |
| Hängt ab von | camlp5-8ixs9, libcoq-ocaml-dev-9fp12, libssreflect-ocaml-vtgh9, ocaml-nox-3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | ssreflect |
| Paketgröße | 388074 Byte |
| Prüfsumme MD5 | 95833597f8900e90de6d0464409413b1 |
| Prüfsumme SHA1 | 89cf70d499c248f8062cdf2ce5472e770a162b17 |
| Prüfsumme SHA256 | 1b2db7ffedfc60447bceb33d60ed696f13abf9de00c053362f51bcbf0c8d437b |
| Link zum Herunterladen | libssreflect-ocaml-dev_1.3pl4-1_i386.deb |
| Ausführliche Beschreibung | |