Virtueel pakket: libghc-these-dev-1.2-7a7ec

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

Pakketten die libghc-these-dev-1.2-7a7ec bieden:

libghc-these-dev

either-or-both data type