| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | dev-libs/picosat: add missing manifest | Karel Kočí | 2021-09-20 |
| | | |||
| * | dev-libs/picosat: add new package | Karel Kočí | 2021-09-20 |
![]() |
index : gentoo-personal-overlay | |
| My personal gentoo overlay maintained in git | Gitolite user |
| summaryrefslogtreecommitdiff |
| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | dev-libs/picosat: add missing manifest | Karel Kočí | 2021-09-20 |
| | | |||
| * | dev-libs/picosat: add new package | Karel Kočí | 2021-09-20 |