No Description
| Uploaded | Sun Feb 8 21:39:57 2026 |
| md5 checksum | 3de9e8c08448ad01107824d9f046bcf4 |
| arch | arm64 |
| build | h5722624_0 |
| constrains | z3prover ==4.15.5 |
| depends | llvm-openmp >=19.1.7, __osx >=11.0, libcxx >=19 |
| license | MIT |
| machine | arm64 |
| operatingsystem | darwin |
| platform | osx |
| subdir | osx-arm64 |
| target-triplet | arm64-any-darwin |
| timestamp | 1770585234959 |