Information for file /usr/include/libsemigroups/pool.hpp
| Name | /usr/include/libsemigroups/pool.hpp |
|---|---|
| Digest (sha256) | c79d713a2a0c9c690e5f7eda9f9882f0b3e7cda05f147228a22a8f11bea967dc |
| Size | 6.74 KB |
| Modification time | Fri, 20 Oct 2023 08:49:12 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | libsemigroups-devel-2.7.2-4.fc40.riscv64.rpm |
