dev-haskell/
uhc-light

Part of UHC packaged as cabal/hackage installable library

https://github.com/UU-ComputerScience/uhc

Available Versions

Version amd64 x86 alpha arm hppa ia64 ppc ppc64 sparc
1.1.9.5 : 0 ~amd64 ~x86 ?alpha ?arm ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog