Information for file /usr/share/gap/pkg/primgrp/data/gps13.g.gz
| Name | /usr/share/gap/pkg/primgrp/data/gps13.g.gz |
|---|---|
| Digest (sha256) | 643bc4367b52cea9b506804f9285e35580a65b8b396a2434ad59322fe8739ad1 |
| Size | 726.95 KB |
| Modification time | Sat, 25 Feb 2023 11:31:52 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-primgrp-3.4.4-4.fc40.noarch.rpm |
