| Paketname | coq-theories |
| Beschreibung | proof assistant for higher-order logic (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 189282 Byte |
| Hängt ab von | coq-8.3pl4+3.12.1 |
| Empfohlene Pakete | coq (>= 8.0) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 54375698 Byte |
| Prüfsumme MD5 | 38cf3ec977d6140f0ea61dda2c8c3261 |
| Prüfsumme SHA1 | 97d761d5db9cb4a0d8adac5c300a232e1f21b4e4 |
| Prüfsumme SHA256 | 6900456a9d013f7209b931bb8a99c83ba671e2b1157eae9caf320ee4387462f2 |
| Link zum Herunterladen | coq-theories_8.3.pl4+dfsg-2_all.deb |
| Ausführliche Beschreibung | |