| Paketname | coq-theories |
| Beschreibung | proof assistant for higher-order logic (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 8.3.pl4+dfsg-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 189144 Byte |
| Hängt ab von | coq-8.3pl4+3.12.1 |
| Empfohlene Pakete | coq (>= 8.0) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 54258222 Byte |
| Prüfsumme MD5 | 20d344ea0ae1883850ec19db809571e1 |
| Prüfsumme SHA1 | 09118fdc89c6dfc02cfcf2cec2f167fb17721679 |
| Prüfsumme SHA256 | 942b75bfb144649ddf20bc817ca7900ca352526fc90371d91a4f9e2fd18c5029 |
| Link zum Herunterladen | coq-theories_8.3.pl4+dfsg-1_all.deb |
| Ausführliche Beschreibung | |