| Paketname | ladr4-apps |
| Beschreibung | the LADR deduction library, miscellaneous applications |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.0.200902a-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1012 Byte |
| Hängt ab von | libc6 (>= 2.4), libladr4 (>= 0.0.200902a), python |
| Empfohlene Pakete | prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | ladr |
| Paketgröße | 351208 Byte |
| Prüfsumme MD5 | e674305e45362eb42c9f40a660d20716 |
| Prüfsumme SHA1 | 6b898341d8a88a917f215a85ae10c65d8c47c7d0 |
| Prüfsumme SHA256 | fe701eaca8c62bcd9ab33ff47610c3f293482b97b4776da43534ff35f70a3298 |
| Link zum Herunterladen | ladr4-apps_0.0.200902a-2_i386.deb |
| Ausführliche Beschreibung | |