Description: Extra packages not in ELN, but needed to be built like ELN for testing
Package Name | Category | aarch64 | ppc64le | s390x | x86_64 |
---|---|---|---|---|---|
python3-z3 | Buildroot level 8 | buildroot | buildroot | buildroot | buildroot |
z3-libs | Buildroot level 8 | buildroot | buildroot | buildroot | buildroot |