Sun, 16 Jun 2024 22:34:09 UTC | login

Information for file /usr/lib64/cmake/cvc5/cvc5JavaTargets.cmake

Name/usr/lib64/cmake/cvc5/cvc5JavaTargets.cmake
Digest (sha256)422b88ceadbe3162af50e20c103c5a618f5c1d45e3d628f6a16029244e053747
Size1.48 KB
Modification timeThu, 14 Mar 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcvc5-devel-1.1.2-1.fc40.riscv64.rpm