Mon, 02 Dec 2024 22:32:01 UTC | login

Information for file fr.inria.coqide.metainfo.xml

Namefr.inria.coqide.metainfo.xml
Digest (sha256)92211f8769e854db61ad4afc69aa3b75cf02c487c7294b2950611f4deb20b2ca
Size1.91 KB
Modification timeTue, 02 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.18.0-1.fc40.src.rpm