Information for file /usr/src/debug/opam-full-2.0.0/_build/default/src/solver/opamCudf.ml
Name | /usr/src/debug/opam-full-2.0.0/_build/default/src/solver/opamCudf.ml |
---|---|
Digest (sha256) | 4ade3d6d5ddc79926e6c82de04999a4f5df330211ebec96f21c7d082cf93c7df |
Size | 36821 |
Modification time | Fri, 03 May 2019 14:52:32 CEST |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | opam-debuginfo-2.0.0-2.xcpng8.0.x86_64.rpm |