Information for file /usr/share/doc/mp-doc/demo/gecode-options.html

Name/usr/share/doc/mp-doc/demo/gecode-options.html
Digest (sha256)ad84265d11167bc131ca5900d39684b30ae55e1b743b9784f1f40a84c12c7040
Size11.03 KB
Modification timeSat, 15 Feb 2020 01:04:38 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMmp-doc-3.1.0-3.git7fd482.oc9.x86_64.rpm