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

Package: z3-dbg
Version: 5.3.3~pre20261106T080618Z
Section: debug
Architecture: loongson3
Installed-Size: 385860
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Filename: pool/z3-5.3.3/main/z/z3-dbg_5.3.3-0~pre20261106T080618Z_loongson3.deb
Size: 378723524
SHA256: 9dc5ef914e56c2b7dbefd855a0f3f4df3b9a65fa288120b85be2fd85d4f38fb1
Description: Debug symbols for z3
Depends: z3 (=5.3.3~pre20261106T080618Z)