Sat, 14 Dec 2024 01:16:36 UTC | login

Information for file coq.xml

Namecoq.xml
Digest (sha256)fb8286a6f8051816cb3bcbe913d83d694a3636319e18417fd4b227b88cb9a4f0
Size317.00 B
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcoq-8.18.0-10.fc41.src.rpm