Thu, 14 Nov 2024 04:40:18 UTC | login

Information for file /usr/lib64/libpicosat-R.so.0

Name/usr/lib64/libpicosat-R.so.0
Digest (sha256)
Size23.00 B
Modification timeFri, 19 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMpicosat-R-965-22.fc41.riscv64.rpm