/usr/share/doc/minisat2 | File Info | Fedora RISC-V

Thu, 04 Jul 2024 02:41:34 UTC | login

Information for file /usr/share/doc/minisat2

Name	/usr/share/doc/minisat2
Digest (sha256)
Size	0.00 B
Modification time	Tue, 05 Jun 2018 23:04:49 UTC
User	root
Group	root
Mode	drwxr-xr-x
Flags
RPM	minisat2-2.2.1-5.fc29.riscv64.rpm