| Paketname | agda |
| Beschreibung | dependently typed functional programming language |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.3.0.1-1build2 |
| 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 | 2984 Byte |
| Prüfsumme MD5 | 9eb0d934adf45734e6be3685e44b75cb |
| Prüfsumme SHA1 | 45e077c9d676f233b4630a388bed96487daaf417 |
| Prüfsumme SHA256 | 1d82f30da0797982b2a039864da4111ef7d9f4748191868b8d0f28159e58bc30 |
| Link zum Herunterladen | agda_2.3.0.1-1build2_all.deb |
| Ausführliche Beschreibung | |