Wed, 27 Nov 2024 07:46:34 UTC | login

Information for file /usr/share/cvc4/th_real.plf

Name/usr/share/cvc4/th_real.plf
Digest (sha256)70f9a59467869e52deb0bfb93344250707c7192eff9180e0dac43f8bf59050ac
Size993.00 B
Modification timeFri, 19 Jun 2020 16:59:27 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcvc4-1.8-15.fc38.riscv64.rpm