Information for file fr.lri.why3.desktop
| Name | fr.lri.why3.desktop |
|---|---|
| Digest (sha256) | 3cb98f8fc658018f3502f21adcac0162a2301a896ad5d0b09963d277f91e562f |
| Size | 178.00 B |
| Modification time | Sat, 20 Jul 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | why3-1.7.2-7.fc41.src.rpm |
