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-bin
Beschreibungcommandline interface to Agda
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version2.3.0.1-1
Sektionuniverse/haskell
Prioritätoptional
Installierte Größe18366 Byte
Hängt ab vonlibc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5, zlib1g (>= 1:1.1.4)
Empfohlene Paketelibghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~)
PaketbetreuerUbuntu Developers
Quelle
Paketgröße4567414 Byte
Prüfsumme MD5101bc32b7f92366587490f7243031aef
Prüfsumme SHA177a996394fba88f066187275785e548307a03030
Prüfsumme SHA25652e99d777053f6b24057f677d005aa439e8e5ecaf83af157efd573abe1fa0fe8
Link zum Herunterladenagda-bin_2.3.0.1-1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds