Package: z3
Version: 5.3.1~pre20261016T025911Z
Section: math
Architecture: loongson3
Installed-Size: 58156
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.1/main/z/z3_5.3.1-0~pre20261016T025911Z_loongson3.deb
Size: 21225592
SHA256: ed9e1d5d344528c575ae617ae067e116d3982dcafcffed6fc6996d7c9037c804
Description: Z3 Efficient Theorem Prover
Provides: libz3-dev:mips64el (= 0:5.3.1~pre20261016T025911Z), python3-z3:mips64el (= 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: loongson3
Installed-Size: 376980
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.1/main/z/z3-dbg_5.3.1-0~pre20261016T025911Z_loongson3.deb
Size: 370079548
SHA256: af8c7278bb22a2854b236c88cb9dfcab76173d939347fd9b3b2af4e07310fc7e
Description: Debug symbols for z3
Depends: z3 (=5.3.1~pre20261016T025911Z)