Package: z3
Version: 5.3.3~pre20261106T080618Z
Section: math
Architecture: loongarch64
Installed-Size: 49116
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.3/main/z/z3_5.3.3-0~pre20261106T080618Z_loongarch64.deb
Size: 21585532
SHA256: 96d2f9fb359228e18705c32b6d37c6938b5cb233c2711330186a02c07cae9446
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:loong64 (= 0:5.3.3~pre20261106T080618Z), libz3-dev:loongarch64 (= 0:5.3.3~pre20261106T080618Z), python3-z3:loongarch64 (= 0:5.3.3~pre20261106T080618Z), python3-z3:loong64 (= 0:5.3.3~pre20261106T080618Z)
Depends: glibc (>= 1:2.44), python-3 (>= 3.14.10)

Package: z3-dbg
Version: 5.3.3~pre20261106T080618Z
Section: debug
Architecture: loongarch64
Installed-Size: 389384
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.3/main/z/z3-dbg_5.3.3-0~pre20261106T080618Z_loongarch64.deb
Size: 383926750
SHA256: ab3944b8b93dca9e566fa55b62d69e350920f79a9fd936d606d0c31140b7e755
Description: Debug symbols for z3
Depends: z3 (=5.3.3~pre20261106T080618Z)