Sat, 30 Nov 2024 16:07:23 UTC | login

Information for file /usr/src/debug/cvc5-1.1.0-1.fc40.riscv64/include/cvc5/cvc5.h

Name/usr/src/debug/cvc5-1.1.0-1.fc40.riscv64/include/cvc5/cvc5.h
Digest (sha256)a0c74f07d7dfddf485cbe40ce1045d6320a811b255c986d59d1c0b41c805cab7
Size164.76 KB
Modification timeThu, 21 Dec 2023 01:05:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcvc5-debugsource-1.1.0-1.fc40.riscv64.rpm