Package: z3
Version: 5.3.1~pre20261016T025911Z
Section: math
Architecture: loongarch64
Installed-Size: 48248
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.1/main/z/z3_5.3.1-0~pre20261016T025911Z_loongarch64.deb
Size: 21121174
SHA256: db344cdb037477ea437d28bac87365660dd259e8de073d349c9930c8df423a85
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:loong64 (= 0:5.3.1~pre20261016T025911Z), libz3-dev:loongarch64 (= 0:5.3.1~pre20261016T025911Z), python3-z3:loongarch64 (= 0:5.3.1~pre20261016T025911Z), python3-z3:loong64 (= 0:5.3.1~pre20261016T025911Z)
Depends: glibc (>= 1:2.44), python-3 (>= 3.14.8)

Package: z3-dbg
Version: 5.3.1~pre20261016T025911Z
Section: debug
Architecture: loongarch64
Installed-Size: 380148
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.1/main/z/z3-dbg_5.3.1-0~pre20261016T025911Z_loongarch64.deb
Size: 374903186
SHA256: a0eb8172bb57e442b5f35fce5910e7f251cf25bdb84a1c6d0348c1ef1d7f7e9e
Description: Debug symbols for z3
Depends: z3 (=5.3.1~pre20261016T025911Z)