Wed, 13 Nov 2024 23:27:39 UTC | login

Information for file /usr/share/doc/cudd-devel/html/classBDD.html

Name/usr/share/doc/cudd-devel/html/classBDD.html
Digest (sha256)1f37d13837c09536f79708cd70dd23c18384acce47575074cecce3a5e407ff50
Size73.16 KB
Modification timeFri, 18 May 2018 08:38:31 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcudd-devel-3.0.0-6.fc29.riscv64.rpm