Fri, 13 Dec 2024 13:15:09 UTC | login

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

Name/usr/include/cudd/cudd.h
Digest (sha256)c86b9375e19047e805b4458ee765a66ced7f49d8912d452e111283004f510664
Size46.79 KB
Modification timeSat, 27 Jul 2019 09:12:13 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcudd-devel-3.0.0-8.fc31.riscv64.rpm