(/ X4&./props.plist 000644 0 0 01572 0 013357 0 ustar 00root root
architecture
ppc64-musl
build-options
ocaml
homepage
https://github.com/Z3Prover/z3installed_size
1066112
/arrayshort_descZ3 theorem prover and SMT solver (OCaml bindings) (debug files)version
./files.plist 000644 2773 0 013322 0 ustar 00root dirsarray>
fil/usr
/dllz3ml.somtiminteger>1640624994