Information for file /usr/share/gap/pkg/CaratInterface/gap/carat.gi
| Name | /usr/share/gap/pkg/CaratInterface/gap/carat.gi |
|---|---|
| Digest (sha256) | 4032c2e984436dbf3758746844ede9c76bb7d98b61e40964bad6919a2e70b9e9 |
| Size | 16.67 KB |
| Modification time | Tue, 05 Nov 2019 14:53:12 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-caratinterface-2.3.4-4.fc38.noarch.rpm |
