Staging Bot 2023-01-03 20:37:24 +00:00 committed by Git OBS Bridge
parent fd0da52ab4
commit a8bee713f4
13 changed files with 55 additions and 57 deletions

View File

@ -1,4 +1,4 @@
<image name="OBS__MicroOS___20230102" schemaversion="4.1">
<image name="OBS__MicroOS___20230103" schemaversion="4.1">
<description type="system">
<author>The SUSE Team</author>
<contact>build@opensuse.org</contact>
@ -35,11 +35,11 @@
<productvar name="SEPARATE_MEDIA">true</productvar>
<productvar name="SHA1OPT">-x -2</productvar>
<productvar name="VENDOR">openSUSE</productvar>
<productvar name="VERSION">20230102</productvar>
<productvar name="VERSION">20230103</productvar>
<productinfo name="CONTENTSTYLE">11</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:microos:20230102,openSUSE MicroOS</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:microos:20230103,openSUSE MicroOS</productinfo>
<productinfo name="LINGUAS">en_US </productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/MicroOS/20230102/x86_64</productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/MicroOS/20230103/x86_64</productinfo>
<productinfo name="VENDOR">openSUSE</productinfo>
<productoption name="INI_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
<productoption name="PLUGIN_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
@ -1013,7 +1013,7 @@
<repopackage name="libepub0" arch="x86_64"/>
<repopackage name="libepubgen-0_1-1"/>
<repopackage name="liberation-fonts"/>
<repopackage name="libesmtp6" arch="x86_64"/>
<repopackage name="libesmtp6_2_0" arch="x86_64"/>
<repopackage name="libespeak-ng1" arch="x86_64"/>
<repopackage name="libetonyek-0_1-1"/>
<repopackage name="libev4" arch="x86_64"/>
@ -1186,7 +1186,7 @@
<repopackage name="libhd22" arch="x86_64"/>
<repopackage name="libheif1" arch="x86_64"/>
<repopackage name="libhidapi-hidraw0"/>
<repopackage name="libhiredis1_0_0" arch="x86_64"/>
<repopackage name="libhiredis1_1_0" arch="x86_64"/>
<repopackage name="libhogweed6"/>
<repopackage name="libhugetlbfs" arch="x86_64"/>
<repopackage name="libhunspell-1_7-0"/>
@ -2407,7 +2407,6 @@
<repopackage name="python310-pymemcache" arch="x86_64"/>
<repopackage name="python310-pymongo" arch="x86_64"/>
<repopackage name="python310-pyOpenSSL" arch="x86_64"/>
<repopackage name="python310-pyparsing" arch="x86_64"/>
<repopackage name="python310-pyrsistent" arch="x86_64"/>
<repopackage name="python310-pyserial" arch="x86_64"/>
<repopackage name="python310-pysmbc" arch="x86_64"/>

View File

@ -6,7 +6,7 @@
<name>MicroOS</name>
<releasepkgname>MicroOS-release</releasepkgname>
<endoflife/>
<version>20230102</version>
<version>20230103</version>
<!-- release is no longer optional -->
<release>0</release>
<productline>MicroOS</productline>

View File

@ -1861,7 +1861,7 @@
<package name="libepub0" supportstatus="unsupported"/> <!-- reason: dvd:patterns-kde-kde -->
<package name="libepubgen-0_1-1" supportstatus="unsupported"/> <!-- reason: dvd:openSUSE-release -->
<package name="liberation-fonts" supportstatus="unsupported"/> <!-- reason: dvd:openSUSE-release -->
<package name="libesmtp6" supportstatus="unsupported"/> <!-- reason: dvd:patterns-base-console -->
<package name="libesmtp6_2_0" supportstatus="unsupported"/> <!-- reason: dvd:patterns-base-console -->
<package name="libespeak-ng1" supportstatus="unsupported"/> <!-- reason: dvd:patterns-gnome-gnome -->
<package name="libestr0" supportstatus="unsupported"/> <!-- reason: dvd:patterns-media-rest_dvd -->
<package name="libetonyek-0_1-1" supportstatus="unsupported"/> <!-- reason: dvd:openSUSE-release -->

View File

@ -1,4 +1,4 @@
<image name="OBS__openSUSE-Addon-NonOss___20230102" schemaversion="4.1">
<image name="OBS__openSUSE-Addon-NonOss___20230103" schemaversion="4.1">
<description type="system">
<author>The SUSE Team</author>
<contact>build@opensuse.org</contact>
@ -36,11 +36,11 @@
<productvar name="SEPARATE_MEDIA">true</productvar>
<productvar name="SHA1OPT">-x -2</productvar>
<productvar name="VENDOR">openSUSE</productvar>
<productvar name="VERSION">20230102</productvar>
<productvar name="VERSION">20230103</productvar>
<productinfo name="CONTENTSTYLE">11</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse-addon-nonoss:20230102,openSUSE NonOSS Addon</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse-addon-nonoss:20230103,openSUSE NonOSS Addon</productinfo>
<productinfo name="LINGUAS">af ar be_BY bg br ca cy el et ga gl gu_IN he hi_IN hr ka km ko lt mk nn pa_IN rw sk sl sr_CS ss st tg th tr uk ve vi xh zu </productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE-Addon-NonOss/20230102/i586 obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE-Addon-NonOss/20230102/x86_64</productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE-Addon-NonOss/20230103/i586 obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE-Addon-NonOss/20230103/x86_64</productinfo>
<productinfo name="VENDOR">openSUSE</productinfo>
<productoption name="INI_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
<productoption name="PLUGIN_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>

View File

@ -4,7 +4,7 @@
<product>
<vendor>openSUSE</vendor>
<name>openSUSE-Addon-NonOss</name>
<version>20230102</version>
<version>20230103</version>
<release>0</release>
<summary>openSUSE NonOSS Addon</summary>
<shortsummary>non oss addon</shortsummary>

View File

@ -1,4 +1,4 @@
<image name="OBS__openSUSE___20230102" schemaversion="4.1">
<image name="OBS__openSUSE___20230103" schemaversion="4.1">
<description type="system">
<author>The SUSE Team</author>
<contact>build@opensuse.org</contact>
@ -32,11 +32,11 @@
<productvar name="SEPARATE_MEDIA">true</productvar>
<productvar name="SHA1OPT">-x -2</productvar>
<productvar name="VENDOR">openSUSE</productvar>
<productvar name="VERSION">20230102</productvar>
<productvar name="VERSION">20230103</productvar>
<productinfo name="CONTENTSTYLE">11</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230102,openSUSE Tumbleweed</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230103,openSUSE Tumbleweed</productinfo>
<productinfo name="LINGUAS">cs da de el en en_GB en_US es fr hu it ja pl pt pt_BR ru zh zh_CN zh_TW </productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230102/i586</productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230103/i586</productinfo>
<productinfo name="VENDOR">openSUSE</productinfo>
<productoption name="INI_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
<productoption name="PLUGIN_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>

View File

@ -1,4 +1,4 @@
<image name="OBS__openSUSE___20230102" schemaversion="4.1">
<image name="OBS__openSUSE___20230103" schemaversion="4.1">
<description type="system">
<author>The SUSE Team</author>
<contact>build@opensuse.org</contact>
@ -35,11 +35,11 @@
<productvar name="SEPARATE_MEDIA">true</productvar>
<productvar name="SHA1OPT">-x -2</productvar>
<productvar name="VENDOR">openSUSE</productvar>
<productvar name="VERSION">20230102</productvar>
<productvar name="VERSION">20230103</productvar>
<productinfo name="CONTENTSTYLE">11</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230102,openSUSE Tumbleweed</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230103,openSUSE Tumbleweed</productinfo>
<productinfo name="LINGUAS">cs da de el en en_GB en_US es fr hu it ja pl pt pt_BR ru zh zh_CN zh_TW </productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230102/x86_64</productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230103/x86_64</productinfo>
<productinfo name="VENDOR">openSUSE</productinfo>
<productoption name="INI_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
<productoption name="PLUGIN_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>

View File

@ -1,4 +1,4 @@
<image name="OBS__openSUSE___20230102" schemaversion="4.1">
<image name="OBS__openSUSE___20230103" schemaversion="4.1">
<description type="system">
<author>The SUSE Team</author>
<contact>build@opensuse.org</contact>
@ -32,11 +32,11 @@
<productvar name="SEPARATE_MEDIA">true</productvar>
<productvar name="SHA1OPT">-x -2</productvar>
<productvar name="VENDOR">openSUSE</productvar>
<productvar name="VERSION">20230102</productvar>
<productvar name="VERSION">20230103</productvar>
<productinfo name="CONTENTSTYLE">11</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230102,openSUSE Tumbleweed</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230103,openSUSE Tumbleweed</productinfo>
<productinfo name="LINGUAS">cs da de el en en_GB en_US es fr hu it ja pl pt pt_BR ru zh zh_CN zh_TW </productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230102/i586</productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230103/i586</productinfo>
<productinfo name="VENDOR">openSUSE</productinfo>
<productoption name="INI_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
<productoption name="PLUGIN_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
@ -1574,7 +1574,7 @@
<repopackage name="libepub0"/>
<repopackage name="libepubgen-0_1-1"/>
<repopackage name="liberation-fonts"/>
<repopackage name="libesmtp6"/>
<repopackage name="libesmtp6_2_0"/>
<repopackage name="libespeak-ng1"/>
<repopackage name="libestr0"/>
<repopackage name="libetonyek-0_1-1"/>

View File

@ -1,4 +1,4 @@
<image name="OBS__openSUSE___20230102" schemaversion="4.1">
<image name="OBS__openSUSE___20230103" schemaversion="4.1">
<description type="system">
<author>The SUSE Team</author>
<contact>build@opensuse.org</contact>
@ -35,11 +35,11 @@
<productvar name="SEPARATE_MEDIA">true</productvar>
<productvar name="SHA1OPT">-x -2</productvar>
<productvar name="VENDOR">openSUSE</productvar>
<productvar name="VERSION">20230102</productvar>
<productvar name="VERSION">20230103</productvar>
<productinfo name="CONTENTSTYLE">11</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230102,openSUSE Tumbleweed</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230103,openSUSE Tumbleweed</productinfo>
<productinfo name="LINGUAS">cs da de el en en_GB en_US es fr hu it ja pl pt pt_BR ru zh zh_CN zh_TW </productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230102/x86_64</productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230103/x86_64</productinfo>
<productinfo name="VENDOR">openSUSE</productinfo>
<productoption name="INI_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
<productoption name="PLUGIN_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>
@ -1661,7 +1661,7 @@
<repopackage name="libepub0"/>
<repopackage name="libepubgen-0_1-1"/>
<repopackage name="liberation-fonts"/>
<repopackage name="libesmtp6"/>
<repopackage name="libesmtp6_2_0"/>
<repopackage name="libespeak-ng1"/>
<repopackage name="libestr0"/>
<repopackage name="libetonyek-0_1-1"/>

View File

@ -1,4 +1,4 @@
<image name="OBS__openSUSE___20230102" schemaversion="4.1">
<image name="OBS__openSUSE___20230103" schemaversion="4.1">
<description type="system">
<author>The SUSE Team</author>
<contact>build@opensuse.org</contact>
@ -24,7 +24,7 @@
<productvar name="DISTNAME">openSUSE</productvar>
<productvar name="FLAVOR">ftp</productvar>
<productvar name="MAKE_LISTINGS">true</productvar>
<productvar name="MEDIUM_NAME">openSUSE-20230102-i586-x86_64</productvar>
<productvar name="MEDIUM_NAME">openSUSE-20230103-i586-x86_64</productvar>
<productvar name="MULTIPLE_MEDIA">true</productvar>
<productvar name="PRODUCT_DIR">/</productvar>
<productvar name="PRODUCT_NAME">$DISTNAME-$FLAVOR</productvar>
@ -36,11 +36,11 @@
<productvar name="SEPARATE_MEDIA">true</productvar>
<productvar name="SHA1OPT">-x -2</productvar>
<productvar name="VENDOR">openSUSE</productvar>
<productvar name="VERSION">20230102</productvar>
<productvar name="VERSION">20230103</productvar>
<productinfo name="CONTENTSTYLE">11</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230102,openSUSE Tumbleweed</productinfo>
<productinfo name="DISTRO">cpe:/o:opensuse:opensuse:20230103,openSUSE Tumbleweed</productinfo>
<productinfo name="LINGUAS">cs da de el en en_GB en_US es fr hu it ja pl pt pt_BR ru zh zh_CN zh_TW </productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230102/i586 obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230102/x86_64</productinfo>
<productinfo name="REPOID">obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230103/i586 obsproduct://build.opensuse.org/openSUSE:Factory/openSUSE/20230103/x86_64</productinfo>
<productinfo name="VENDOR">openSUSE</productinfo>
<productoption name="DEBUGMEDIUM">2</productoption>
<productoption name="INI_DIR">/usr/share/kiwi/modules/plugins/tumbleweed</productoption>

View File

@ -4,7 +4,7 @@
<product>
<vendor>openSUSE</vendor>
<name>openSUSE</name>
<version>20230102</version>
<version>20230103</version>
<release>0</release>
<productline>openSUSE</productline>

View File

@ -1780,7 +1780,7 @@
<package name="libefivar1" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-base -->
<package name="libell0" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-kde -->
<package name="libepub0" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-kde -->
<package name="libesmtp6" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-base -->
<package name="libesmtp6_2_0" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-base -->
<package name="libespeak-ng1" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-gnome -->
<package name="libev4" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-alt_onlyDVD -->
<package name="libevdocument3-4" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-gnome -->
@ -1846,7 +1846,7 @@
<package name="libhandy-lang" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-kde -->
<package name="libhd22" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-hardware -->
<package name="libheif1" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-kde -->
<package name="libhiredis1_0_0" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-alt_onlyDVD -->
<package name="libhiredis1_1_0" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-alt_onlyDVD -->
<package name="libhugetlbfs" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-onlyDVD -->
<package name="libhwy1" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-kde -->
<package name="libical-glib3" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-gnome -->
@ -2446,7 +2446,6 @@
<package name="python310-pylibmc" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-alt_onlyDVD -->
<package name="python310-pymemcache" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-alt_onlyDVD -->
<package name="python310-pymongo" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-alt_onlyDVD -->
<package name="python310-pyparsing" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-alt_onlyDVD -->
<package name="python310-pyrsistent" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-cloud -->
<package name="python310-pyserial" supportstatus="unsupported"/> <!-- reason: opensuse_microos:patterns-microos-cloud -->
<package name="python310-pysmbc" supportstatus="unsupported"/> <!-- reason: opensuse_microos_desktop:patterns-microos-desktop-kde -->

View File

@ -94,7 +94,7 @@ unsorted:
- Mesa-KHR-devel
- Mesa-devel
- Mesa-dri-32bit: [x86_64]
- Mesa-dri-devel: [i586] # devel package of common_locks:Mesa-libGL1
- Mesa-dri-devel: [i586] # devel package of common_locks:Mesa-libEGL1
- Mesa-dri-nouveau
- Mesa-dri-nouveau-32bit: [x86_64]
- Mesa-gallium-32bit: [x86_64]
@ -8154,11 +8154,11 @@ unsorted:
- jupyter-qgrid
- jupyter-rpm-macros
- jupyter-server-mathjax
- jupyter-server-terminals
- jupyter-sidecar-jupyterlab
- jupyter-threejs
- jupyter-threejs-jupyterlab
- jupyter-vispy
- jupyter-voila
- jupyter-widgetsnbextension
- jvnet-parent
- jvyamlb
@ -11866,7 +11866,7 @@ unsorted:
- libhidapi-libusb0
- libhinawa-devel
- libhinawa2
- libhiredis1_0_0: [i586]
- libhiredis1_1_0: [i586]
- libhivex0
- libhl1
- libhmac-devel
@ -22097,7 +22097,6 @@ unsorted:
- python3-openstacksdk
- python3-openwsman
- python3-ortools
- python3-os-api-ref
- python3-os-client-config
- python3-os-service-types
- python3-osc-lib
@ -23779,14 +23778,12 @@ unsorted:
- python310-jupyter-client
- python310-jupyter-core
- python310-jupyter-events
- python310-jupyter-jupyterlab-server
- python310-jupyter-jupyterlab-server-openapi
- python310-jupyter-jupyterlab-server-test
- python310-jupyter-kernel-test
- python310-jupyter-nbutils
- python310-jupyter-packaging
- python310-jupyter-server
- python310-jupyter-server-mathjax
- python310-jupyter-server-terminals
- python310-jupyter-server-test
- python310-jupyter-sphinx
- python310-jupyter-telemetry
@ -24778,6 +24775,9 @@ unsorted:
- python310-pytimeparse
- python310-pytlv
- python310-pytoml
- python310-pytoolconfig
- python310-pytoolconfig-global
- python310-pytoolconfig-validation
- python310-pytools
- python310-pytricia
- python310-pytz-deprecation-shim
@ -25332,7 +25332,6 @@ unsorted:
- python310-visvis
- python310-vncdotool
- python310-vobject
- python310-voila
- python310-volatile
- python310-voluptuous
- python310-voluptuous-serialize
@ -27126,14 +27125,12 @@ unsorted:
- python38-jupyter-client
- python38-jupyter-core
- python38-jupyter-events
- python38-jupyter-jupyterlab-server
- python38-jupyter-jupyterlab-server-openapi
- python38-jupyter-jupyterlab-server-test
- python38-jupyter-kernel-test
- python38-jupyter-nbutils
- python38-jupyter-packaging
- python38-jupyter-server
- python38-jupyter-server-mathjax
- python38-jupyter-server-terminals
- python38-jupyter-server-test
- python38-jupyter-sphinx
- python38-jupyter-telemetry
@ -28153,6 +28150,9 @@ unsorted:
- python38-pytimeparse
- python38-pytlv
- python38-pytoml
- python38-pytoolconfig
- python38-pytoolconfig-global
- python38-pytoolconfig-validation
- python38-pytools
- python38-pytricia
- python38-pytz
@ -28736,7 +28736,6 @@ unsorted:
- python38-visvis
- python38-vncdotool
- python38-vobject
- python38-voila
- python38-volatile
- python38-volatility3
- python38-voluptuous
@ -30521,14 +30520,12 @@ unsorted:
- python39-jupyter-client
- python39-jupyter-core
- python39-jupyter-events
- python39-jupyter-jupyterlab-server
- python39-jupyter-jupyterlab-server-openapi
- python39-jupyter-jupyterlab-server-test
- python39-jupyter-kernel-test
- python39-jupyter-nbutils
- python39-jupyter-packaging
- python39-jupyter-server
- python39-jupyter-server-mathjax
- python39-jupyter-server-terminals
- python39-jupyter-server-test
- python39-jupyter-sphinx
- python39-jupyter-telemetry
@ -31550,6 +31547,9 @@ unsorted:
- python39-pytimeparse
- python39-pytlv
- python39-pytoml
- python39-pytoolconfig
- python39-pytoolconfig-global
- python39-pytoolconfig-validation
- python39-pytools
- python39-pytricia
- python39-pytz
@ -32133,7 +32133,6 @@ unsorted:
- python39-visvis
- python39-vncdotool
- python39-vobject
- python39-voila
- python39-volatile
- python39-voluptuous
- python39-voluptuous-serialize
@ -44934,6 +44933,7 @@ unsorted:
- yudit
- yum
- yum-utils
- yuzu: [x86_64]
- z
- z3
- z3-devel