Virtuellt paket: libghc-agda-dev-2.6.4.3-28ed4

Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.

Paket som tillhandahåller libghc-agda-dev-2.6.4.3-28ed4