Virtual Package: libghc-copilot-language-dev-4.5-11240

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

Packages providing libghc-copilot-language-dev-4.5-11240

libghc-copilot-language-dev

DSL for monitoring hard real-time distributed systems.