Wed, 27 Nov 2024 08:49:54 UTC | login

Information for file /usr/include/cudd/cuddObj.hh

Name/usr/include/cudd/cuddObj.hh
Digest (sha256)79708b43177035febc8377bbb559838cbecb45c70c4fde49a36ff0ecc902a307
Size28.16 KB
Modification timeFri, 18 May 2018 08:38:32 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcudd-devel-3.0.0-6.fc29.riscv64.rpm