Information for file /usr/include/gecode/int/distinct/graph.hpp
Name | /usr/include/gecode/int/distinct/graph.hpp |
---|---|
Digest (sha256) | 9f445fe28830b5cb1bcbcba2256ef3077fe79161f3cfe64b02237a4714c1f922 |
Size | 7.84 KB |
Modification time | Fri, 17 Jun 2016 13:43:08 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | gecode-devel-5.1.0-6.fc31.riscv64.rpm |