Information for file /usr/lib64/lua/5.4/clingo.so
Name | /usr/lib64/lua/5.4/clingo.so |
---|---|
Digest (sha256) | 55857ff6fd014b8510f9295367b68cfb8ba4cc662e505511537f73e42c2c1de3 |
Size | 6.67 KB |
Modification time | Sun, 16 Aug 2020 05:58:47 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | lua-clingo-5.4.0-4.fc33.riscv64.rpm |