Wed, 27 Nov 2024 06:47:54 UTC | login

Information for file /usr/share/doc/cvc5/AUTHORS

Name/usr/share/doc/cvc5/AUTHORS
Digest (sha256)209c8f254062578bc2697c371c954d7ae63dfd0a253f543fb586cdc486d519fc
Size2.09 KB
Modification timeFri, 01 Mar 2024 17:21:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcvc5-1.1.2-5.fc41.riscv64.rpm