directories.gi

4.18 KB -rw-r--r--

RPM 28991

File

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