| Paketname | ladr4-apps |
| Beschreibung | the LADR deduction library, miscellaneous applications |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.0.200902a-2.1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 834 Byte |
| Hängt ab von | libc6 (>= 2.7), libladr4 (>= 0.0.200902a), python |
| Empfohlene Pakete | prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) |
| Paketbetreuer | Peter Collingbourne |
| Quelle | ladr |
| Paketgröße | 356802 Byte |
| Prüfsumme MD5 | 6d6befbbf58022d7625700f5f2a0f1f3 |
| Prüfsumme SHA1 | 6e14b0dd013aced02b4a6bc52819b27a8d682569 |
| Prüfsumme SHA256 | 320ecb791691d4e8cf084e721452ccf527b897c32ed3fe2d4bf68337993ddb4b |
| Link zum Herunterladen | ladr4-apps_0.0.200902a-2.1_i386.deb |
| Ausführliche Beschreibung | |