<p>maintainer: Artoo</p>
            <p>email: artoo@artixlinux.org</p>
        
                <p>Repo: world</p>
                <p>Packages added:</p>
            <p>z3-4.13.0-2-x86_64.pkg.tar.zst</p>
<p>python-z3-solver-4.13.0-2-x86_64.pkg.tar.zst</p>
                <p>Repo: world-gremlins</p>
                <p>Packages removed:</p>
            <p>z3</p>
<p>python-z3-solver</p>