| Paketname | coq-theories |
| Beschreibung | proof assistant for higher-order logic (theories) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 189318 Byte |
| Hängt ab von | coq-8.3pl4+3.12.1 |
| Empfohlene Pakete | coq (>= 8.0) |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq |
| Paketgröße | 54416126 Byte |
| Prüfsumme MD5 | 93f8f59ec4634d7bf5be094cd2e59555 |
| Prüfsumme SHA1 | 2edb480e6913d4ca200b5698a9d2ed7ce7825e35 |
| Prüfsumme SHA256 | 11f7a3cd6fcf3cb5e36145e670b966842ed862572cf4e5020bf9e909776b72eb |
| Link zum Herunterladen | coq-theories_8.3.pl4+dfsg-2_all.deb |
| Ausführliche Beschreibung | |