| Paketname | agda |
| Beschreibung | dependently typed functional programming language |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.3.0.1-2build1 |
| Sektion | universe/misc |
| Priorität | extra |
| Installierte Größe | 38 Byte |
| Hängt ab von | libghc-agda-dev, agda-mode, agda-bin, agda-stdlib, agda-stdlib-doc |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 3012 Byte |
| Prüfsumme MD5 | ca5f1e0957ff8bb6384c0748d580a212 |
| Prüfsumme SHA1 | 9fede27a833087cf46138f8e6315cacacf634896 |
| Prüfsumme SHA256 | 7ba611e07e7f65cc12b7df5e7cb4c0bf6e4aab494c3d6f39c8c8500125429b00 |
| Link zum Herunterladen | agda_2.3.0.1-2build1_all.deb |
| Ausführliche Beschreibung | |