| Paketname | libwhy-coq |
| Beschreibung | Why library for Coq |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 2.26+dfsg-2+squeeze1 |
| Sektion | libdevel |
| Priorität | optional |
| Installierte Größe | 1244 Byte |
| Hängt ab von | coq-8.2.pl2+3.11.2 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | why |
| Paketgröße | 513412 Byte |
| Prüfsumme MD5 | 0a3e89a667639e02e9ca9b84d57551a5 |
| Prüfsumme SHA1 | 94541db77d704075f796a2ea9c5e773c5bd81718 |
| Prüfsumme SHA256 | 034874fd2d3ae53d5001ff0503f3225363a22b34d5323ecc447d4a47c27157d6 |
| Link zum Herunterladen | libwhy-coq_2.26+dfsg-2+squeeze1_all.deb |
| Ausführliche Beschreibung | This package contains all useful logical definitions, lemmas with their
proofs and axioms used by Why. Users may need this package when proving
some proof obligations in Coq.
|