| Paketname | agda-bin |
| Beschreibung | commandline interface to Agda |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2.10-2 |
| Sektion | universe/haskell |
| Priorität | optional |
| Installierte Größe | 15864 Byte |
| Hängt ab von | libc6 (>= 2.7), libffi6 (>= 3.0.4), libgmp10, libncurses5 (>= 5.5-5~), zlib1g (>= 1:1.1.4) |
| Empfohlene Pakete | libghc-agda-dev (>= 2.2.10), libghc-agda-dev (<< 2.2.10.1~) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 3949110 Byte |
| Prüfsumme MD5 | 6ff4f3303a91c6c02ef4b4ea1019cb50 |
| Prüfsumme SHA1 | 23b3d42f992311e141bf1c29fac9322fa8b1daef |
| Prüfsumme SHA256 | 4d44042211d53885fa3d677cb2317cf30fdcc88cc82251e2398aa7870014e84a |
| Link zum Herunterladen | agda-bin_2.2.10-2_i386.deb |
| Ausführliche Beschreibung | |