Sat, 16 Nov 2024 15:20:24 UTC | login

Information for file /usr/src/debug/cudd-3.0.0-8.fc31.riscv64/cudd/cuddInt.h

Name/usr/src/debug/cudd-3.0.0-8.fc31.riscv64/cudd/cuddInt.h
Digest (sha256)83d7937ada2d766bc2fdf38fc0fd7d61c796b0160e24538c696f8fc9af91fa6e
Size46.06 KB
Modification timeTue, 29 Dec 2015 21:59:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcudd-debugsource-3.0.0-8.fc31.riscv64.rpm