Sat, 14 Dec 2024 19:21:05 UTC | login

Information for file /usr/share/applications/com.ocamlpro.alt-ergo.desktop

Name/usr/share/applications/com.ocamlpro.alt-ergo.desktop
Digest (sha256)30e87e25a8fb47cd034b9a09edd6eb75f93de4c386deae9c70c1c847a1143552
Size225.00 B
Modification timeFri, 02 Feb 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMalt-ergo-gui-2.3.3-17.fc40.riscv64.rpm