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 oneiric (universe)
Version0.5-1
Sektionuniverse/libs
Prioritätextra
Installierte Größe17892 Byte
Hängt ab vonlibghc-agda-dev (>= 2.2.10), libghc-agda-dev (<< 2.2.10.1~)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße16056728 Byte
Prüfsumme MD5b12103ab21ead6f38e97b41eabfcb129
Prüfsumme SHA1f6df926f07071a5994ff52921a7e5b229b9ae93d
Prüfsumme SHA2564ad91260002c5318adbf6f8b90b968bfa2a35225fad5c73384bbbc17e7d443f5
Link zum Herunterladenagda-stdlib_0.5-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds