uuagc: Attribute Grammar System of Universiteit Utrecht
Flags
Manual Flags
Name | Description | Default |
---|---|---|
bootstrap_external | Use an external uuagc executable for bootstrapping | Disabled |
with-loag | Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- uuagc-0.9.56.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.9.5, 0.9.6, 0.9.7, 0.9.10, 0.9.11, 0.9.12, 0.9.13, 0.9.14, 0.9.15, 0.9.16, 0.9.17, 0.9.18, 0.9.19, 0.9.20, 0.9.21, 0.9.23, 0.9.24, 0.9.26, 0.9.27, 0.9.28, 0.9.29, 0.9.30, 0.9.31, 0.9.32, 0.9.33, 0.9.34, 0.9.35, 0.9.36, 0.9.37.0, 0.9.37.1, 0.9.37.2, 0.9.38.0, 0.9.38.1, 0.9.38.3, 0.9.38.4, 0.9.38.5, 0.9.38.6, 0.9.39.0, 0.9.39.1, 0.9.39.3, 0.9.40.1, 0.9.40.2, 0.9.40.3, 0.9.42.0, 0.9.42.1, 0.9.42.2, 0.9.42.3, 0.9.50, 0.9.50.1, 0.9.50.2, 0.9.51, 0.9.52, 0.9.52.1, 0.9.52.2, 0.9.53, 0.9.53.1, 0.9.54, 0.9.55, 0.9.56 |
---|---|
Dependencies | aeson (>=1.4.7.1), array (>=0.3.0.1), base (>=4 && <5), bytestring (>=0.9.2.1), containers (>=0.3), directory (>=1.0.1.1), filepath (>=1.1.0.4), ghc-prim (>=0.2.0.0), haskell-src-exts (>=1.11.1), mtl (>=1.1.1.1), uuagc, uuagc-cabal (>=1.0.3.0), uulib (>=0.9.14) [details] |
Tested with | ghc >=6.12 |
License | BSD-3-Clause |
Copyright | Universiteit Utrecht |
Author | Software Technology at Universiteit Utrecht |
Maintainer | Jeroen Bransen |
Category | Development |
Home page | https://github.com/UU-ComputerScience/uuagc |
Bug tracker | https://github.com/UU-ComputerScience/uuagc/issues |
Uploaded | by JeroenBransen at 2023-11-02T09:47:31Z |
Distributions | Debian:0.9.52.2, FreeBSD:0.9.52.1 |
Reverse Dependencies | 5 direct, 9 indirect [details] |
Executables | uuagc |
Downloads | 47474 total (134 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2023-11-02 [all 1 reports] |