normaliz.gi

4.39 KB -rw-r--r--

RPM 127328

File

Name: /usr/lib64/gap/pkg/NormalizInterface/lib/normaliz.gi
Digest (sha256): 957ac098a778461dd4d7ff5c411c253ea2d071b125389f1642f30b556b3dfa2c
Size: 4.39 KB
Modification time: Tue, 05 May 2026 00:00:00 UTC
Flags: none
RPM: gap-pkg-normalizinterface-1.5.1-3.fc45.riscv64.rpm