The chalmers-lava2000 package

[ Tags: bsd3, hardware, language, library ] [ Propose Tags ]

Hardware description library

[Skip to Readme]


Versions 1.0, 1.0.1, 1.0.2, 1.1.0, 1.1.1, 1.1.2, 1.2.0, 1.3, 1.4.1, 1.5, 1.5.1, 1.6, 1.6.1
Dependencies base, haskell98, process [details]
License BSD3
Copyright (c) 2008. Koen Claessen <>
Author Koen Claessen <>
Maintainer Emil Axelsson <>
Category Hardware
Uploaded Wed Aug 20 13:31:34 UTC 2008 by EmilAxelsson
Distributions Fedora:1.6.1, NixOS:1.6.1
Downloads 4540 total (42 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for chalmers-lava2000-1.0

[back to package description]
To get verification working (on Linux), change the path


in Development/Lava2000/LavaDir.hs to the appropriate path, and change the wrapper scripts in the Scripts/ directory to point to the correct binaries.