Tue, 11 Jun 2024 00:15:23 UTC | login

Information for file /usr/bin/coqdoc

Name/usr/bin/coqdoc
Digest (sha256)01ff189be3d8f0de3fd8694d57eeac299a525065a878258e4524a71d06f6b83d
Size5.92 MB
Modification timeFri, 02 Feb 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcoq-core-8.18.0-4.fc40.riscv64.rpm