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


Paketnameagda-stdlib-doc
Beschreibungstandard library for Agda — documentation
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (universe)
Version0.5-1
Sektionuniverse/doc
Prioritätextra
Installierte Größe17636 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleagda-stdlib
Paketgröße1562122 Byte
Prüfsumme MD55beb33af732c0de7536a6035cac01c59
Prüfsumme SHA120ddb7b5932a1fc1f070fb5586842df7f1a230cf
Prüfsumme SHA256569406a63ac3c648c2a4a4d69322e3b5ea00fa594371ec564c7b55651f0135ca
Link zum Herunterladenagda-stdlib-doc_0.5-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds