gentoo.mahdi.cz

  

dev-haskell:dec

Decidable propositions
https://github.com/phadej/dec
dec-0.0.5	BSD
download~amd64	haskell
dec-0.0.5	BSD
download~amd64 ~arm64 ~ppc64 ~riscv ~x86	gentoo
dec-0.0.3	BSD
downloadamd64 ~arm64 ~ppc64 ~riscv ~x86	gentoo