Package filter
Package Version Project Licence Branch Repository Architecture Maintainer Build date
z3-dev 4.8.7-r0 URL MIT v3.11 community x86_64 Sören Tempel 2019-11-23 15:34:58
z3-dev 4.8.7-r0 URL MIT v3.11 community x86 Sören Tempel 2019-11-23 15:34:58
z3-dev 4.8.7-r0 URL MIT v3.11 community armhf Sören Tempel 2019-11-23 15:34:58
z3-dev 4.8.7-r0 URL MIT v3.11 community ppc64le Sören Tempel 2019-11-23 15:34:58
z3-dev 4.8.7-r0 URL MIT v3.11 community armv7 Sören Tempel 2019-11-23 15:34:58