Index of /macports/release/ports/math/z3/files/

Name Size Date
📁 ../ - -
📄 build-z3-qprofdiff.diff 586 bytes 2021-06-03 18:51:54
📄 java_libpath.diff 720 bytes 2021-12-08 05:52:28
📄 libz3-static-4.8.5.diff 2132 bytes 2020-11-16 23:40:31
📄 libz3-static.diff 2091 bytes 2020-11-16 23:40:31
📄 z3-clang-19-4.8.5.diff 2520 bytes 2025-07-29 01:37:13
📄 z3-fstar-legacy.profdata.tar.xz 1888484 bytes 2025-02-28 00:25:31
📄 z3-fstar.profdata-generate.sh 4447 bytes 2025-02-28 00:25:31
📄 z3-fstar.profdata.tar.xz 1701120 bytes 2025-02-28 00:25:31