gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/dec

Decidable propositions

Screenshots

  • dec-0.0.6
    ~amd64
    doc hscolour hoogle profile

    View      Download      Browse     License: BSD   
    Overlay: haskell
  • dec-0.0.5
    ~amd64 ~arm64 ~ppc64 ~riscv ~x86
    doc hscolour profile

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

    View      Download      Browse     License: BSD   
    Overlay: gentoo

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.5


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

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

dev-lang/ghc:=[profile?
]

dec-0.0.3


>=dev-haskell/void-0.7.2:=[profile?
]

<dev-haskell/void-0.8:=[profile?
]
>=dev-lang/ghc-7.8.2:=

dev-lang/ghc:=[profile?
]