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 Debian Archiv wheezy (main)
Version0.6-2
Sektionlibs
Prioritätextra
Installierte Größe17683 Byte
Hängt ab vonlibghc-agda-dev (>= 2.3.0), libghc-agda-dev (<< 2.3.1~)
Empfohlene Pakete
PaketbetreuerIain Lane
Quelle
Paketgröße16979124 Byte
Prüfsumme MD5572321bb2918fb81b485748c65515c77
Prüfsumme SHA1d3748f8d0c724c85639805b4f1a468550feb037b
Prüfsumme SHA2568ad034fda70823a750bf6a7a864b21b000d8e3ddbf6938ab2bbb1d19a5145855
Link zum Herunterladenagda-stdlib_0.6-2_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds