Information for file /usr/share/gap/pkg/CaratInterface/gap/carat.gi
| Name | /usr/share/gap/pkg/CaratInterface/gap/carat.gi |
|---|---|
| Digest (sha256) | fa36e9ee0bc87fad7276db476785efd2b5d1767c558cf1c799011f68e19ad9b1 |
| Size | 16.84 KB |
| Modification time | Fri, 10 Feb 2023 14:22:34 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-caratinterface-2.3.5-1.fc38.noarch.rpm |
