Information for file z3-4.13.4.tar.gz
| Name | z3-4.13.4.tar.gz |
|---|---|
| Digest (sha256) | 4071977e66e9f3d239b7b098ceddfe62ffdf3c71e345e9524a4a5001d1f4adf3 |
| Size | 5.50 MB |
| Modification time | Mon, 23 Dec 2024 22:45:42 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | z3-4.13.4-1.fc42.src.rpm |
