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
Beschreibungstandard library for Agda
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (universe)
Version0.6-2
Sektionuniverse/libs
Prioritätextra
Installierte Größe17687 Byte
Hängt ab vonlibghc-agda-dev (>= 2.3.0), libghc-agda-dev (<< 2.3.1~)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße16955470 Byte
Prüfsumme MD5fb0a929d76a9fd96894af6b0192d2351
Prüfsumme SHA1784f6b7339f21f7374048fa71447684d16a55eed
Prüfsumme SHA256f2ab6f34690688140d7b331b45fa265b9178349bb19d438e1a030ab7ac5e101b
Link zum Herunterladenagda-stdlib_0.6-2_all.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds