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


Paketnameproofgeneral-misc
Beschreibunggeneric interface for proof assistants - theorem provers support
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (universe)
Version3.7-4
Sektionuniverse/editors
Prioritätoptional
Installierte Größe732 Byte
Hängt ab vonproofgeneral
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleproofgeneral
Paketgröße142178 Byte
Prüfsumme MD56b93b5581cc87c6d38a16af1cfabba62
Prüfsumme SHA15ce636b3fec325f30658ea15d2ba4baad5c3e48a
Prüfsumme SHA2568facef93547b6ffbb93d3776c9348603c0846e0be27a3dd9782cd34ab847dd73
Link zum Herunterladenproofgeneral-misc_3.7-4_all.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds