| Paketname | libssreflect-ocaml-dev |
| Beschreibung | small scale reflection extension for Coq (devt files) |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 1.2+dfsg-3build1 |
| Sektion | universe/ocaml |
| Priorität | extra |
| Installierte Größe | 1152 Byte |
| Hängt ab von | camlp5-tgj08, libcoq-ocaml-dev-12bq6, libssreflect-ocaml-ydkt8, ocaml-nox-3.11.2 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 314258 Byte |
| Prüfsumme MD5 | 9cb694aba34d99e71836126220dc3b7c |
| Prüfsumme SHA1 | 3fd42c0750cf4bb17cadaba815bfa3c3ddf51f5e |
| Prüfsumme SHA256 | 458f8bd07fb0b535580fa5aa0b05d89c043c4cc0ce5ea91be8bd08ac8b816cc0 |
| Link zum Herunterladen | libssreflect-ocaml-dev_1.2+dfsg-3build1_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.
|