Information for file /usr/share/gap/pkg/crisp/lib/util.gd
| Name | /usr/share/gap/pkg/crisp/lib/util.gd |
|---|---|
| Digest (sha256) | 11f5388156e041fe2612cf83aadc59fc3aef9ff4e9683e26502ac856c910b784 |
| Size | 7.96 KB |
| Modification time | Thu, 07 Nov 2019 20:34:35 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-crisp-1.4.6-6.fc40.noarch.rpm |
