| Paketname | libssreflect-ocaml |
| Beschreibung | small scale reflection extension for Coq (plugin) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 1.2+dfsg-6 |
| Sektion | math |
| Priorität | extra |
| Installierte Größe | 1284 Byte |
| Hängt ab von | ocaml-base-nox-3.11.2, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | ssreflect |
| Paketgröße | 322438 Byte |
| Prüfsumme MD5 | 601cdef4dd68bf0060a016b35155ecc5 |
| Prüfsumme SHA1 | 2381429f84b30c4d088847de2d374e6ae3665beb |
| Prüfsumme SHA256 | 607a88ce789be653b88da79c266728cc151544113a4e61f22df96acf12bb2fd0 |
| Link zum Herunterladen | libssreflect-ocaml_1.2+dfsg-6_i386.deb |
| Ausführliche Beschreibung | This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides a new tactic language, which promotes
more structured, concise and robust proof scripts, and is in fact
independent from the "reflection" proof style. It is implemented as a
linkable extension to the Coq system.
|