distro.gd

1.47 KB -rw-r--r--

RPM 28991

File

Name: /usr/share/gap/pkg/PackageManager/gap/distro.gd
Digest (sha256): 8aa946a8a2bf8234e1389c74f71215997b6bf1c82e3f6f9d5c7b69b4caeadc6b
Size: 1.47 KB
Modification time: Sat, 08 Aug 2026 00:00:00 UTC
Flags: none
RPM: gap-pkg-packagemanager-1.6.4-1.fc45.noarch.rpm