Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/z3: fix documentation | 2022-03-21 | 1 | -0/+107 | |
- add missing dot dependency - install documentation into correct directory (use PF) Closes: https://bugs.gentoo.org/818991 Signed-off-by: Maciej Barć <xgqt@gentoo.org> |