Wed, 04 Dec 2024 18:40:36 UTC | login

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

Name/usr/include/symfpu/baseTypes/cprover_common.h
Digest (sha256)1de03c64c4c55d9b38976ab3422bd92296b1a894f7e7648a3087861d03c7f2fb
Size1.95 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