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
Beschreibungdependently typed functional programming language
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version2.3.0.1-2
Sektionmisc
Prioritätextra
Installierte Größe37 Byte
Hängt ab vonlibghc-agda-dev, agda-mode, agda-bin, agda-stdlib, agda-stdlib-doc
Empfohlene Pakete
PaketbetreuerDebian Haskell Group
Quelle
Paketgröße13200 Byte
Prüfsumme MD59ac123c03db82ba42465900bc75ce62c
Prüfsumme SHA1c7e04be4636c08e8bcd53ed45502497e78562a89
Prüfsumme SHA256f4f6da784255e71f6b5e3abd64e740e1940f54e2ff289983f728c5795d8309df
Link zum Herunterladenagda_2.3.0.1-2_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds