[ etiona ]
Virtueel pakket: libghc-agda-dev-2.5.3-c5b4b
Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.
Pakketten die libghc-agda-dev-2.5.3-c5b4b bieden:
- libghc-agda-dev
- dependently typed functional programming language