Information for file why3-1.7.2.tar.gz
| Name | why3-1.7.2.tar.gz |
|---|---|
| Digest (sha256) | 55a486fc588ed8c0dd49215718926b232950c742cfc2d4fc005ed3a4f5598424 |
| Size | 6.68 MB |
| Modification time | Thu, 18 Apr 2024 15:05:37 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | why3-1.7.2-8.fc41.src.rpm |
