Information for file /usr/share/doc/picosat-R/NEWS
Name | /usr/share/doc/picosat-R/NEWS |
---|---|
Digest (sha256) | 57e153a2b7710a64536e355e0f1a5de4e4e7725c560ac0f4b2befff313007b6a |
Size | 4.56 KB |
Modification time | Wed, 13 Jan 2016 07:19:13 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | picosat-R-965-20.fc40.riscv64.rpm |