Tue, 05 Nov 2024 21:43:45 UTC | login

Information for file /usr/bin/coqdep

Name/usr/bin/coqdep
Digest (sha256)bbb6cf74639f2c9ea9d2b5b4da1d280540e97e1cc8f639efd141b977b25e0a5f
Size6.01 MB
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcoq-core-8.17.1-8.fc40.riscv64.rpm