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 Debian Archiv wheezy (main)
Version0.6-2
Sektiondoc
Prioritätextra
Installierte Größe18365 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerIain Lane
Quelleagda-stdlib
Paketgröße1704574 Byte
Prüfsumme MD5fa69065940d2b43b5e9b4e70ba7d4837
Prüfsumme SHA15d0db43eeb4a6a83b951fbdcfdec80881f14888c
Prüfsumme SHA2569a57d4fd00d8cc6c3ecf4920c85c7b8025f18b8b4faa44635403815b14245f68
Link zum Herunterladenagda-stdlib-doc_0.6-2_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds