Sun, 01 Dec 2024 04:56:43 UTC | login

Information for file /usr/share/doc/picosat-R/NEWS

Name/usr/share/doc/picosat-R/NEWS
Digest (sha256)57e153a2b7710a64536e355e0f1a5de4e4e7725c560ac0f4b2befff313007b6a
Size4.56 KB
Modification timeWed, 13 Jan 2016 07:19:13 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMpicosat-R-965-20.fc40.riscv64.rpm