[ aramo ]
Näennäispaketti: libghc-dec-dev-0.0.3-cd28f
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.
Paketit, jotka toteuttavat paketin libghc-dec-dev-0.0.3-cd28f
- libghc-dec-dev
- decidable propositions