Information for file /usr/include/gecode/set/rel-op/superofinter.hpp
| Name | /usr/include/gecode/set/rel-op/superofinter.hpp |
|---|---|
| Digest (sha256) | 844c4ed569dd4c75b1b5491ede8efe1bb10be39bce11a83e06a9ec04c6520a9c |
| Size | 5.44 KB |
| Modification time | Wed, 03 Mar 2010 16:32:21 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gecode-devel-5.1.0-4.fc29.riscv64.rpm |
