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

Fri, 28 Jun 2024 08:53:06 UTC | login

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

Name	/usr/include/abc/sat/psat
Digest (sha256)
Size	0.00 B
Modification time	Sun, 18 Feb 2018 07:18:16 UTC
User	root
Group	root
Mode	drwxr-xr-x
Flags
RPM	abc-devel-1.01-9.hg20160905.fc28.riscv64.rpm