Package: z3
Version: 5.4.1~pre20261112T091827Z
Section: math
Architecture: loongarch64
Installed-Size: 49436
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.4.1/main/z/z3_5.4.1-0~pre20261112T091827Z_loongarch64.deb
Size: 21788512
SHA256: 2ffedbcc7082a0d947304df3109b20e20add4a8b4757d5a7e2d39e955a16a5f9
Description: Z3 Efficient Theorem Prover
Depends: glibc (>= 1:2.44-1), python-3 (>= 3.14.10)
Provides: libz3-dev:loong64 (= 0:5.4.1~pre20261112T091827Z), libz3-dev:loongarch64 (= 0:5.4.1~pre20261112T091827Z), python3-z3:loongarch64 (= 0:5.4.1~pre20261112T091827Z), python3-z3:loong64 (= 0:5.4.1~pre20261112T091827Z)

Package: z3-dbg
Version: 5.4.1~pre20261112T091827Z
Section: debug
Architecture: loongarch64
Installed-Size: 390696
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.4.1/main/z/z3-dbg_5.4.1-0~pre20261112T091827Z_loongarch64.deb
Size: 385206834
SHA256: 0d9eb390c26b72ca60b24fc7e0f15e0d434d421ab520c36e3f7975cf2d939a57
Description: Debug symbols for z3
Depends: z3 (=5.4.1~pre20261112T091827Z)