Wed, 11 Dec 2024 19:15:32 UTC | login

Information for file /usr/share/doc/minisat2/minisat2-test.in

Name/usr/share/doc/minisat2/minisat2-test.in
Digest (sha256)66b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda88008680
Size67.00 B
Modification timeThu, 18 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMminisat2-2.2.1-20.fc41.riscv64.rpm