| Paketname | libssreflect-ocaml-dev |
| Beschreibung | small scale reflection extension for Coq (devt files) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 1.2+dfsg-6 |
| Sektion | ocaml |
| Priorität | extra |
| Installierte Größe | 1152 Byte |
| Hängt ab von | camlp5-xzz63, libcoq-ocaml-dev-np5x2, libssreflect-ocaml-l7dn5, ocaml-nox-3.11.2 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | ssreflect |
| Paketgröße | 317384 Byte |
| Prüfsumme MD5 | 861665c6f9c3c5b05532346cc900257b |
| Prüfsumme SHA1 | 17d546efc9ae40bf19cc0a3920eba3b6b8c0781e |
| Prüfsumme SHA256 | 6ad1fec3cb539b6027d4b2a1a08aa118f39edf2a8a7307be971da131bc5e3ee9 |
| Link zum Herunterladen | libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb |
| Ausführliche Beschreibung | This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides the static native-code library, needed
to build custom toplevels, and the compiled interface.
|