gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/dec

Decidable propositions

Screenshots

  • dec-0.0.6
    ~amd64 ~arm64 ~ppc64 ~riscv ~x86
    doc hscolour profile

    View      Download      Browse     License: BSD   
    Overlay: gentoo
  • dec-0.0.6
    ~amd64 ~arm64 ~ppc64 ~riscv ~x86
    doc hscolour hoogle profile

    View      Download      Browse     License: BSD   
    Overlay: haskell

Runtime Dependencies

dec-0.0.6


>=dev-haskell/boring-0.2.2:=[profile?
]

<dev-haskell/boring-0.3:=[profile?
]
>=dev-lang/ghc-9.0.2:=

dev-lang/ghc:=[profile?
]

dec-0.0.6


>=dev-haskell/boring-0.2.2:=[profile?
]

<dev-haskell/boring-0.3:=[profile?
]
>=dev-lang/ghc-9.0.2:=

dev-lang/ghc:=[profile?
]