Διαδρομή: /›data›pub›linux›salix›x86_64›extra-15.0›source›academic›z3
![[ICO]](/css/icons/blank.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/css/icons/folder-home.svg){kind=icon} | Parent Directory | - | |
![[ ]](/css/icons/info.svg){kind=icon} | z3.info | 2022-06-04 09:47 | 300 |
![[ ]](/icons/hand.right.gif){kind=icon} | README | 2022-06-04 09:47 | 403 |
![[ ]](/css/icons/unknown.svg){kind=icon} | slack-desc | 2022-06-04 09:47 | 1.0K |
| z3.SlackBuild | 2022-03-26 04:02 | 3.7K |
![[ ]](/css/icons/archive.svg){kind=icon} | z3-z3-4.8.12.tar.gz | 2022-06-04 18:02 | 4.6M |
