Virtueel pakket: libghc-agda-dev-2.6.4.3-28ed4

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libghc-agda-dev-2.6.4.3-28ed4 bieden:

libghc-agda-dev

dependently typed functional programming language