| Paketname | libssreflect-ocaml |
| Beschreibung | small scale reflection extension for Coq (plugin) |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 1.2+dfsg-3build1 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 322446 Byte |
| Prüfsumme MD5 | ab53f2cccd2db5ce51afe10df59f1fc3 |
| Prüfsumme SHA1 | 61ebf516f3535ca6fd6a389fec62c394d03f3bab |
| Prüfsumme SHA256 | 9a0a160f75172316dbe4062b5dbedca22578431e1c4782213ea8aeb417dca532 |
| Link zum Herunterladen | libssreflect-ocaml_1.2+dfsg-3build1_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.
|