Packages
Use only the package name and NOT the combination of category/package
| Category | Name | Version | Arch |
|---|---|---|---|
| dev-lang | dev-lang/boogie | 3.5.2 | amd64 |
| dev-lang | dev-lang/boogie | 3.5.3 | amd64 |
| dev-lang | dev-lang/boogie | 3.5.1 | amd64 |
Use only the package name and NOT the combination of category/package
| Category | Name | Version | Arch |
|---|---|---|---|
| dev-lang | dev-lang/boogie | 3.5.2 | amd64 |
| dev-lang | dev-lang/boogie | 3.5.3 | amd64 |
| dev-lang | dev-lang/boogie | 3.5.1 | amd64 |