Package filter
Package Version Project Licence Branch Repository Architecture Maintainer Build date
z3 4.8.8-r0 URL MIT v3.12 community x86_64 Sören Tempel 2020-05-10 21:11:02
z3 4.8.8-r0 URL MIT v3.12 community x86 Sören Tempel 2020-05-10 21:11:02
z3 4.8.8-r0 URL MIT v3.12 community armhf Sören Tempel 2020-05-10 21:11:02
z3 4.8.8-r0 URL MIT v3.12 community ppc64le Sören Tempel 2020-05-10 21:11:02
z3 4.8.8-r0 URL MIT v3.12 community armv7 Sören Tempel 2020-05-10 21:11:02