Download

Repository: amd64/stable

Package time:

Size: 11937540

SHA256: 2c17c434573de9665e77f6dfd2283d5085314e4bdbe2a14d52e85b6b82e3a8fa

Installed Size: 37.5MiB

Maintainer: Mingcong Bai <jeffbaiaosc.io>

Library depends: ld-linux-x86-64.so.2, libc.so.6, libgcc_s.so.1, libm.so.6, libpthread.so.0, libstdc++.so.6

Library provides: libz3.so.4.8.10.0

Files: