Wed, 04 Dec 2024 18:19:13 UTC | login

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

Name/usr/include/symfpu/baseTypes/cprover_exprt.h
Digest (sha256)9a25d9f8624e6007aa8b038b811b458e1aaef45b3e9b1b301a894770d4e73fd1
Size13.30 KB
Modification timeFri, 17 May 2019 22:03:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMsymfpu-devel-0-0.11.20190517gitc3acaf6.fc37.riscv64.rpm