Information for file /usr/share/gap/lib/tietze.gi
Name | /usr/share/gap/lib/tietze.gi |
---|---|
Digest (sha256) | 70d813471a7f77b31cf85b775643a133227ebff0b830b475cbce306205e70fb9 |
Size | 139.11 KB |
Modification time | Sun, 18 Dec 2022 02:18:59 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | gap-libs-4.12.2-5.fc40.noarch.rpm |