{"_id": "libz3-4_4.13.3-1_trixie_amd64_1769076856", "Name": "libz3-4", "Description": "theorem prover from Microsoft Research - runtime libraries", "Version": "4.13.3-1", "Distro-Version": "trixie", "Maintainers": ["LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>"], "Contributors": ["Fabian Wolff <fabi.wolff@arcor.de>"], "Dependencies": ["libc6", "libgcc-s1", "libstdc++6"], "Optional-Dependencies": [], "Build-Dependencies": ["debhelper-compat", "cmake", "libsimde-dev", "python3", "python3-setuptools", "dh-sequence-python3 <!nopython>", "dh-sequence-javahelper [!hppa !hurd-any !m68k !sh4] <!nojava>", "default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava>"], "Homepage": "https://github.com/Z3Prover/z3", "Sources": ["https://sources.debian.org/data/main/z/z3/4.13.3-1/debian/watch", "https://sources.debian.org/src/z3/4.13.3-1/debian/patches/00-intrinsics.patch", "https://sources.debian.org/src/z3/4.13.3-1/debian/patches/01-soname.patch", "https://sources.debian.org/src/z3/4.13.3-1/debian/patches/series"], "Repo": "main", "Distro-repo": "https://salsa.debian.org/pkg-llvm-team/z3", "Install-Scripts": [], "CVEs": [], "Package-Instructions": ["https://sources.debian.org/data/main/z/z3/4.13.3-1/debian/rules", "4579ff23d5ecde78cdb48884de70a4ff06e3d8d8"], "Builddate": "", "Pkgbase": "z3", "Architecture": "amd64", "Licenses": [], "Provides": [], "Hash": "71383373523ef62d47eccf660cf6535c3febcbb3f88e54cb7a43124014b57359", "Timestamp": "1769076856", "Misc": {}}