| Paketname | libghc-agda-dev |
| Beschreibung | dependently typed functional programming language - development libraries |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.3.0.1-2build1 |
| Sektion | universe/haskell |
| Priorität | extra |
| Installierte Größe | 52731 Byte |
| Hängt ab von | libghc-quickcheck-dev-2.4.2-678a7, libghc-array-dev-0.4.0.0-4f6c2, libghc-base-dev-4.5.1.0-6909e, li |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | agda |
| Paketgröße | 12537544 Byte |
| Prüfsumme MD5 | 4e631b39a8ec3cd454cb84e55cd1b2bf |
| Prüfsumme SHA1 | 3907e7ab8d1c888d6e8ee0d230e009bce04a154d |
| Prüfsumme SHA256 | 48953699d22c535604b34fad122079a069bd9fab9e37da108e80a87ebe7c8097 |
| Link zum Herunterladen | libghc-agda-dev_2.3.0.1-2build1_i386.deb |
| Ausführliche Beschreibung | |