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

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

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

libghc-copilot-language-dev

DSL for monitoring hard real-time distributed systems.