Fri, 13 Dec 2024 10:35:14 UTC | login

Information for file /usr/share/applications/fr.inria.coqide.desktop

Name/usr/share/applications/fr.inria.coqide.desktop
Digest (sha256)35a44e86dd2d8de9f71f7d0467f88d072b8f287ab228615c7f3f8b8cbedaecc3
Size195.00 B
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-coqide-8.18.0-10.fc41.riscv64.rpm