Wed, 13 Nov 2024 14:33:46 UTC | login

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

Name/usr/share/doc/cvc5/THANKS
Digest (sha256)fdcd41b6c12b80700d8ad5c7a84657165c0941c2d55f31bf4f90c388dda15d15
Size2.11 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