Thu, 12 Dec 2024 16:50:56 UTC | login

Information for file /usr/include/cudd/util.h

Name/usr/include/cudd/util.h
Digest (sha256)65670cd76ae44b09d861049d4de02196bdae9e4f94cae7540c80b0aaa2ea5aaf
Size6.42 KB
Modification timeThu, 31 Dec 2015 17:35:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcudd-devel-3.0.0-8.fc31.riscv64.rpm