| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 0.9.56 | 8 | ~amd64 | 0/0.9.56 |
<pkgmetadata> <maintainer type="project"> <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> </maintainer> <use> <flag name="loag">Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs</flag> </use> <upstream> <remote-id type="hackage">uuagc</remote-id> <remote-id type="github">UU-ComputerScience/uuagc</remote-id> </upstream> </pkgmetadata>
| Flag | Description | 0.9.56 |
|---|---|---|
| loag | Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs | ✓ |
| Type | File | Size | Versions |
|---|
| Type | File | Size |
|---|---|---|
| DIST | uuagc-0.9.56.tar.gz | 833143 bytes |