Wed, 27 Nov 2024 18:57:44 UTC | login

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

Name/usr/include/cudd/cuddObj.hh
Digest (sha256)79708b43177035febc8377bbb559838cbecb45c70c4fde49a36ff0ecc902a307
Size28.16 KB
Modification timeTue, 24 Jul 2018 17:50:20 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcudd-devel-3.0.0-7.fc29.riscv64.rpm