Information for file /usr/src/debug/opam-full-2.0.0/_build/default/src/state/opamSwitchState.ml
Name | /usr/src/debug/opam-full-2.0.0/_build/default/src/state/opamSwitchState.ml |
---|---|
Digest (sha256) | 86f8becee0aad827d58e302dd487b25f1dc83c473ef3067dc1863be9b01928a1 |
Size | 30099 |
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 |