interactive.gi

948.00 B -rw-r--r--

RPM 28991

File

Name: /usr/share/gap/pkg/PackageManager/gap/interactive.gi
Digest (sha256): fadb110c71460cec6a9dbdbae9f053df75d9e5285943ef16de57a71853132c95
Size: 948.00 B
Modification time: Sat, 08 Aug 2026 00:00:00 UTC
Flags: none
RPM: gap-pkg-packagemanager-1.6.4-1.fc45.noarch.rpm