| Paketname | agda |
| Beschreibung | dependently typed functional programming language |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2.10-3build1 |
| Sektion | universe/misc |
| Priorität | extra |
| Installierte Größe | 36 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 | 2986 Byte |
| Prüfsumme MD5 | 6d499321b270017192cda8a365d6041e |
| Prüfsumme SHA1 | 27a7f8fb7fa0bcde62b8434f82de019415814848 |
| Prüfsumme SHA256 | c5946f44a8656ad6e01c4f8948ebdd97d8a99f149caf43789cd9b43f52be1bba |
| Link zum Herunterladen | agda_2.2.10-3build1_all.deb |
| Ausführliche Beschreibung | |