[ bookworm ]
Paquet virtuel : libghc-dependent-sum-dev-0.7.1.0-8cd57
This is a virtual package. See the Debian policy for a definition of virtual packages.
Paquets fournissant libghc-dependent-sum-dev-0.7.1.0-8cd57
- libghc-dependent-sum-dev
- Dependent sum type