The latest version of uhc-light is 1.1.10.0-0.
uhc-light
Version 1.1.7.1 revision 0 uploaded by AtzeDijkstra.
Package meta
- Synopsis
- Part of UHC packaged as cabal/hackage installable library
- Description
A light variant of UHC including only an API and an executable for compiling to Core representation. This version is just to test the infrastructure. Later versions will provide a fleshing out of the API etc..
- Author
- Atze Dijkstra
- Bug reports
- https://github.com/UU-ComputerScience/uhc/issues
- Category
- Development
- Copyright
- Utrecht University, Department of Information and Computing Sciences, Software Technology group
- Homepage
- https://github.com/UU-ComputerScience/uhc
- Maintainer
- uhc-developers@lists.science.uu.nl
- Package URL
- n/a
- Stability
- n/a