Package Info

ghc-dec


Decidable propositions


Unspecified

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.0.4-bp154.2.11 info GA Release 2022-05-09 15 SP4
  • AArch64
  • ppc64le
  • x86-64
  • ghc-dec
  • ghc-dec-devel