DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameminlog
BeschreibungProof assistant based on first order natural deduction calculus
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version4.0.99.20100221-5.2
Sektionuniverse/math
Prioritätoptional
Installierte Größe8588 Byte
Hängt ab vonplt-scheme | guile
Empfohlene Paketeemacs23 | emacs22 | emacsen
PaketbetreuerUbuntu Developers
Quelle
Paketgröße2886134 Byte
Prüfsumme MD54a4b85d7b24e5ad9bbce2a0474f4cd86
Prüfsumme SHA114097376451df22de97de5c57ff144e52326dd58
Prüfsumme SHA256f68334402b640cc6e3df4cba9c4f1f2083546947593f49a010b39715a350ac28
Link zum Herunterladenminlog_4.0.99.20100221-5.2_all.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds