| Paketname | agda-bin |
| Beschreibung | commandline interface to Agda |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.3.0.1-1 |
| Sektion | haskell |
| Priorität | extra |
| Installierte Größe | 18386 Byte |
| Hängt ab von | libc6 (>= 2.7), libffi5 (>= 3.0.4), libgmp10, libncurses5 (>= 5.5-5~), libtinfo5, zlib1g (>= 1:1.1.4 |
| Empfohlene Pakete | libghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~) |
| Paketbetreuer | Debian Haskell Group |
| Quelle | |
| Paketgröße | 4587078 Byte |
| Prüfsumme MD5 | 3927dfdd12fde794c178b7728ca6b036 |
| Prüfsumme SHA1 | f07c4529bf66d3f598bff4b0b0e0a786bd3e8dfd |
| Prüfsumme SHA256 | 40d32dd54ff8ee182b653f0bf86945d548e881f70337b4893d7fb8b95b23eba8 |
| Link zum Herunterladen | agda-bin_2.3.0.1-1_i386.deb |
| Ausführliche Beschreibung | uitoolkit::ncurses
|