Mon, 24 Jun 2024 11:21:30 UTC | login

Information for file /usr/share/doc/coin-or-Osi

Name/usr/share/doc/coin-or-Osi
Digest (sha256)
Size0.00 B
Modification timeSun, 16 Aug 2020 04:42:06 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMcoin-or-Osi-0.108.6-2.fc33.riscv64.rpm