Information for file /usr/share/gap/pkg/fga/lib/ExtAutom.gi
| Name | /usr/share/gap/pkg/fga/lib/ExtAutom.gi |
|---|---|
| Digest (sha256) | dedeafdaa9fe251112b59f6e0ec494a5318dde99a3b319a0de56ec60b8e62142 |
| Size | 7.05 KB |
| Modification time | Tue, 04 Apr 2023 12:49:33 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-fga-1.5.0-3.fc41.noarch.rpm |
