Tue, 18 Jun 2024 20:39:26 UTC | login

Information for file /usr/include/abc/sat/proof/pr.h

Name/usr/include/abc/sat/proof/pr.h
Digest (sha256)6ad889131177db780e3e6c3f8a325df140d959fb5f3c3a7d0287d289fc90e5f6
Size2.08 KB
Modification timeFri, 30 Dec 2022 01:15:53 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMabc-devel-1.01-37.git20221229.fc38.riscv64.rpm