Thu, 28 Nov 2024 14:25:57 UTC | login

Information for file /usr/include/gecode/flatzinc.hh

Name/usr/include/gecode/flatzinc.hh
Digest (sha256)06f5f6389aa3b995e90724aeda15581738c2e3e3e9e3ac2080834ace5b7393a2
Size22.57 KB
Modification timeFri, 26 Aug 2016 00:45:29 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgecode-devel-5.1.0-6.fc31.riscv64.rpm