Information for file /usr/share/applications/com.ocamlpro.alt-ergo.desktop
| Name | /usr/share/applications/com.ocamlpro.alt-ergo.desktop |
|---|---|
| Digest (sha256) | 30e87e25a8fb47cd034b9a09edd6eb75f93de4c386deae9c70c1c847a1143552 |
| Size | 225.00 B |
| Modification time | Tue, 12 Dec 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | alt-ergo-gui-2.3.3-12.fc40.riscv64.rpm |
