Information for file z3-4.12.4.tar.gz
| Name | z3-4.12.4.tar.gz |
|---|---|
| Digest (sha256) | 25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e |
| Size | 5.22 MB |
| Modification time | Sun, 10 Dec 2023 16:07:56 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | z3-4.12.4-2.fc40.src.rpm |
