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ß

Paketname	agda-stdlib
Beschreibung	standard library for Agda
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	0.6-2
Sektion	universe/libs
Priorität	extra
Installierte Größe	17687 Byte
Hängt ab von	libghc-agda-dev (>= 2.3.0), libghc-agda-dev (<< 2.3.1~)
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	16955470 Byte
Prüfsumme MD5	fb0a929d76a9fd96894af6b0192d2351
Prüfsumme SHA1	784f6b7339f21f7374048fa71447684d16a55eed
Prüfsumme SHA256	f2ab6f34690688140d7b331b45fa265b9178349bb19d438e1a030ab7ac5e101b
Link zum Herunterladen	agda-stdlib_0.6-2_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds