Wed, 27 Nov 2024 18:18:50 UTC | login

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

Name/usr/include/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-devel-3.0.0-7.fc29.riscv64.rpm