Mon, 11 Nov 2024 14:25:39 UTC | login

Information for file /usr/src/debug/cudd-3.0.0-7.fc29.riscv64/cudd/cuddCof.c

Name/usr/src/debug/cudd-3.0.0-7.fc29.riscv64/cudd/cuddCof.c
Digest (sha256)f9c12a523278058dfda05d480b7a57ad684e1c433320f92f1a36e162b2f81e50
Size13.72 KB
Modification timeTue, 29 Dec 2015 22:34:33 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcudd-debugsource-3.0.0-7.fc29.riscv64.rpm