Sat, 05 Apr 2025 04:23:38 CEST | login

Information for file /usr/src/debug/opam-full-2.0.10/_build/default/src/client/opamInitDefaults.ml

Name/usr/src/debug/opam-full-2.0.10/_build/default/src/client/opamInitDefaults.ml
Digest (sha256)77a79fe5cc3b9e3e2b11fe78740007533a3e082e82a130a16f08a7940f532459
Size4258
Modification timeTue, 13 Sep 2022 22:49:43 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMopam-debuginfo-2.0.10-4.xcpng8.3.x86_64.rpm