| Paketname | agda-bin |
| Beschreibung | commandline interface to Agda |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.3.0.1-1 |
| Sektion | universe/haskell |
| Priorität | optional |
| Installierte Größe | 18366 Byte |
| Hängt ab von | libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5, zlib1g (>= 1:1.1.4) |
| Empfohlene Pakete | libghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 4567414 Byte |
| Prüfsumme MD5 | 101bc32b7f92366587490f7243031aef |
| Prüfsumme SHA1 | 77a996394fba88f066187275785e548307a03030 |
| Prüfsumme SHA256 | 52e99d777053f6b24057f677d005aa439e8e5ecaf83af157efd573abe1fa0fe8 |
| Link zum Herunterladen | agda-bin_2.3.0.1-1_i386.deb |
| Ausführliche Beschreibung | |