Virtual Package: libghc-pointed-dev-5.0.1-12ba0

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

Packages providing libghc-pointed-dev-5.0.1-12ba0

libghc-pointed-dev

pointed and copointed data