| Paketname | libghc-agda-dev |
| Beschreibung | dependently typed functional programming language - development libraries |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.3.0.1-1build2 |
| Sektion | universe/haskell |
| Priorität | extra |
| Installierte Größe | 51860 Byte |
| Hängt ab von | libghc-quickcheck-dev-2.4.2-6294b, libghc-array-dev-0.4.0.0-0b32f, libghc-base-dev-4.5.0.0-c8e71, li |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | agda |
| Paketgröße | 12390688 Byte |
| Prüfsumme MD5 | fe9c4dace0b6890ce20408b1b27104c2 |
| Prüfsumme SHA1 | b13aef5b16ad073e276527901781050ef4d3a916 |
| Prüfsumme SHA256 | b3904da7d4285bae7092fea10f30b60ea15b9163383d9f1202ab849aac6d86f5 |
| Link zum Herunterladen | libghc-agda-dev_2.3.0.1-1build2_i386.deb |
| Ausführliche Beschreibung | |