PackageManager.gi

10.04 KB -rw-r--r--

RPM 28991

File

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