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ß

Paketname	proofgeneral-coq
Beschreibung	generic interface for proof assistants - coq support
Archiv/Repository	Offizielles Ubuntu Archiv oneiric (universe)
Version	3.7-4
Sektion	universe/editors
Priorität	optional
Installierte Größe	336 Byte
Hängt ab von	proofgeneral
Empfohlene Pakete	coq
Paketbetreuer	Ubuntu Developers
Quelle	proofgeneral
Paketgröße	72368 Byte
Prüfsumme MD5	8d6e64e07a2aba0559408596b421dc8a
Prüfsumme SHA1	751d0c2b93d90658263c0291ae4679265f7428dd
Prüfsumme SHA256	7dd751f11569358572535381f39b840a7f7ca69baef680f7c022d2e8033e3fe3
Link zum Herunterladen	proofgeneral-coq_3.7-4_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds