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 quantal (universe)
Version0.6-2
Sektionuniverse/doc
Prioritätextra
Installierte Größe18357 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleagda-stdlib
Paketgröße1696256 Byte
Prüfsumme MD50c8ad9a29c13dbbcca99417ab2b7386a
Prüfsumme SHA1efce466c7d78feb82050545bcf83eda8c75cb561
Prüfsumme SHA256e2d54852422ba8bda676a922e835348760c9303f8ad9d609d5d99fddd7fb856d
Link zum Herunterladenagda-stdlib-doc_0.6-2_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds