| Paketname | libghc-agda-dev |
| Beschreibung | dependently typed functional programming language - development libraries |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2.10-3build1 |
| Sektion | universe/haskell |
| Priorität | extra |
| Installierte Größe | 44460 Byte |
| Hängt ab von | libghc-quickcheck-dev-2.4.1.1-1000c, libghc-array-dev-0.3.0.2-f538a, libghc-base-dev-4.3.1.0-71f60, |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | agda |
| Paketgröße | 10212366 Byte |
| Prüfsumme MD5 | b1337ef06a181f628a53b17b55a77e0b |
| Prüfsumme SHA1 | 24c1ee88fcd366305ab334b8a7a8a557bffca676 |
| Prüfsumme SHA256 | 21a8be3d01f5df57c3d9ab94b3f7c319fbfa4e7c3bc62d2000c03ed9468157a0 |
| Link zum Herunterladen | libghc-agda-dev_2.2.10-3build1_i386.deb |
| Ausführliche Beschreibung | |