Tue, 26 Nov 2024 04:26:48 UTC | login

Information for file /usr/src/debug/yices-2.6.1-1.fc29.riscv64/src/context/internalization_table.h

Name/usr/src/debug/yices-2.6.1-1.fc29.riscv64/src/context/internalization_table.h
Digest (sha256)dc2b917f5d5401ef9162763abb19608eb0b8974ac622db7661781afddd38130b
Size9.76 KB
Modification timeFri, 26 Oct 2018 21:33:09 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMyices-debugsource-2.6.1-1.fc29.riscv64.rpm