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

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