Sun, 22 Dec 2024 16:25:12 UTC | login

Information for file /usr/include/m4ri/mp.h

Name/usr/include/m4ri/mp.h
Digest (sha256)79f153b9810c3f635da4af3b9d3966f7ffa8e94a588543cf5ca1a6c166e18b22
Size2.55 KB
Modification timeTue, 13 Mar 2018 12:13:56 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMm4ri-devel-20140914-7.fc28.riscv64.rpm