Fri, 13 Dec 2024 21:38:41 UTC | login

Information for file /usr/include/cvc4/options/language.h

Name/usr/include/cvc4/options/language.h
Digest (sha256)f072ce311968ba6f1c87502b8d84e229330a14469266e7b41f5469d8db1026af
Size6.59 KB
Modification timeThu, 19 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcvc4-devel-1.8-15.fc38.riscv64.rpm