/usr/include/abc/sat/psat | File Info | Fedora RISC-V

Thu, 20 Jun 2024 10:09:18 UTC | login

Information for file /usr/include/abc/sat/psat

Name	/usr/include/abc/sat/psat
Digest (sha256)
Size	0.00 B
Modification time	Mon, 07 Nov 2022 13:20:06 UTC
User	root
Group	root
Mode	drwxr-xr-x
Flags
RPM	abc-devel-1.01-35.git20220731.fc37.riscv64.rpm