| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| z3-4.4.1-1558-gf96cfea | |||
| 4.8.9-sosy1 | |||
| 4.8.10 | |||
| 4.8.15 | |||
| 4.8.17 | |||
| 4.10.1 | |||
| 4.12.2 | |||
| 4.12.2-glibc_2.27 | |||
| 4.12.5 | |||
| 4.13.0 | |||
| 4.13.3 | |||
| 4.13.4 | |||
| 4.14.0 | |||
| 4.15.4 | |||
| 4.16.0 | |||
| 4.11.2 | Wed Jan 07 11:56:30 Z 2026 | 9518 | |
| 4.12.1 | Wed Jan 07 11:56:36 Z 2026 | 9518 | |
| 4.12.1-glibc_2.27 | Wed Jan 07 11:56:30 Z 2026 | 10596 | |
| 4.12.4 | Wed Jan 07 11:56:30 Z 2026 | 9518 | |
| 4.13.2 | Wed Jan 07 11:56:34 Z 2026 | 16742 | |
| 4.8.11 | Wed Jan 07 11:56:33 Z 2026 | 9518 | |
| 4.8.12 | Wed Jan 07 11:56:32 Z 2026 | 9518 | |
| 4.8.13 | Wed Jan 07 11:56:30 Z 2026 | 9518 | |
| 4.8.14 | Wed Jan 07 11:56:29 Z 2026 | 9518 | |
| 4.8.16 | Wed Jan 07 11:56:29 Z 2026 | 9518 | |
| 4.9.1 | Wed Jan 07 11:56:12 Z 2026 | 9420 | |
| maven-metadata.xml | Thu Nov 05 16:24:16 Z 2026 | 1160 | |
| maven-metadata.xml.md5 | Thu Nov 05 16:24:17 Z 2026 | 32 | |
| maven-metadata.xml.sha1 | Thu Nov 05 16:24:16 Z 2026 | 40 | |
| maven-metadata.xml.sha256 | Thu Nov 05 16:24:17 Z 2026 | 64 | |
| maven-metadata.xml.sha512 | Thu Nov 05 16:24:17 Z 2026 | 128 | |
| z3-4.4.1-788-g8df145d | Wed Jan 07 11:56:12 Z 2026 | 2028 | |
| z3-4.4.1-863-g96f6bf7-2 | Wed Jan 07 11:56:12 Z 2026 | 2064 |