| Paketname | libghc-agda-dev |
| Beschreibung | dependently typed functional programming language - development libraries |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.3.0.1-2 |
| Sektion | haskell |
| Priorität | extra |
| Installierte Größe | 51859 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 | Debian Haskell Group |
| Quelle | agda |
| Paketgröße | 12402232 Byte |
| Prüfsumme MD5 | 13d19e88c019f748b85662477cfb6e67 |
| Prüfsumme SHA1 | a3046bac822ca6e8d7e0285e7a59e1e51e04fc7f |
| Prüfsumme SHA256 | 8a24944a408c4c76c9814dd13328d381d9daaca5714acbdc11dbb2ca68e31bcf |
| Link zum Herunterladen | libghc-agda-dev_2.3.0.1-2_i386.deb |
| Ausführliche Beschreibung | |