/usr/share/gap/pkg/fga/lib/ExtAutom.gd
1.07 KB
-rw-r--r--
File
- Name
- /usr/share/gap/pkg/fga/lib/ExtAutom.gd
- Digest (sha256)
- 42cd236ba15489ca020d2b82b90bc3b34174188a50f657a1cdaadfdc8de4ef51
- Size
- 1.07 KB
- Modification time
- Tue, 04 Apr 2023 12:49:33 UTC
- Flags
- none
- RPM
- gap-pkg-fga-1.5.0-5.fc45.noarch.rpm