distro.gi

8.58 KB -rw-r--r--

RPM 28991

File

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