normaliz.gd

6.41 KB -rw-r--r--

RPM 127328

File

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