Thu, 12 Dec 2024 12:07:48 UTC | login

Information for file /usr/include/symfpu/baseTypes/cvc4_symbolic.h

Name/usr/include/symfpu/baseTypes/cvc4_symbolic.h
Digest (sha256)c06edf873010078fbf874e4cc653b922e7cf7d217cdba940d0d40562db2d3e97
Size24.28 KB
Modification timeFri, 17 May 2019 22:03:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMsymfpu-devel-0-0.15.20190517gitc3acaf6.fc40.riscv64.rpm