/usr/share/gap/pkg/fga/lib/ExtAutom.gi
7.05 KB
-rw-r--r--
File
- 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
- Flags
- none
- RPM
- gap-pkg-fga-1.5.0-5.fc45.noarch.rpm