Wed, 30 Oct 2024 10:43:47 UTC | login

Information for file /usr/include/minisat/utils/Options.h

Name/usr/include/minisat/utils/Options.h
Digest (sha256)d5b9b031071af58f1ce46ead395d5b40321eaf0c88fb17008e6b4b74d91d4c9c
Size11.89 KB
Modification timeFri, 14 Aug 2020 11:43:56 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMminisat2-devel-2.2.1-11.fc33.riscv64.rpm