| Paketname | ladr4-apps |
| Beschreibung | the LADR deduction library, miscellaneous applications |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.0.200902a-2.1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 884 Byte |
| Hängt ab von | libc6 (>= 2.11), libladr4 (>= 0.0.200902a), python |
| Empfohlene Pakete | prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ladr |
| Paketgröße | 328836 Byte |
| Prüfsumme MD5 | 244be4cc09618e3b65feadc2442e7706 |
| Prüfsumme SHA1 | eb967275b2da542b73fa585a9cd9397550bf246f |
| Prüfsumme SHA256 | 1efba7e6be1eb978f540905d2a1f18eeb04391fc1b85c36c21b27303c113e12c |
| Link zum Herunterladen | ladr4-apps_0.0.200902a-2.1_i386.deb |
| Ausführliche Beschreibung | |