[ trixie ]
[ sid ]
Virtuellt paket: libghc-dec-dev-0.0.5-9f766
This is a virtual package. See the Debian policy for a definition of virtual packages.
Paket som tillhandahåller libghc-dec-dev-0.0.5-9f766
- libghc-dec-dev
- decidable propositions