Install this package:
emerge -a sci-mathematics/ltl2baIf the package is masked, you can unmask it using the autounmask tool or standard emerge options:
autounmask sci-mathematics/ltl2baOr alternatively:
emerge --autounmask-write -a sci-mathematics/ltl2ba<pkgmetadata> <maintainer type="project"> <email>sci@gentoo.org</email> <name>Gentoo Science Project</name> </maintainer> </pkgmetadata>
| Type | File | Size | Versions |
|---|---|---|---|
| DIST | ltl2ba-1.1.tar.gz | 29629 bytes | 1.1 |
| DIST | ltl2ba-1.2.tar.gz | 33026 bytes | 1.2 |
| DIST | ltl2ba-1.3.tar.gz | 38265 bytes | 1.3 |
| Type | File | Size |
|---|