Virtual Package: libghc-these-dev-1.2-5ca17

This is a virtual package. See the Debian policy for a definition of virtual packages.

Packages providing libghc-these-dev-1.2-5ca17