Information for file /usr/include/clingo.h
| Name | /usr/include/clingo.h |
|---|---|
| Digest (sha256) | e4fb1823a79f9277a8361db95eb7cd02c93ef991a049c52e058977f85875d6c8 |
| Size | 178.98 KB |
| Modification time | Fri, 16 Sep 2022 17:08:42 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | clingo-devel-5.6.1-1.fc37.riscv64.rpm |
