Sat, 30 Aug 2025 01:20:05 UTC | login

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

Name/usr/src/debug/opam-full-2.0.10/_build/default/src/client/opamPinCommand.ml
Digest (sha256)c1a5c37e94d9bd22880b18a6ef40067019ceac9ed47bc6717e50727356394832
Size23.28 KB
Modification timeTue, 13 Sep 2022 20:49:43 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMopam-debuginfo-2.0.10-4.xcpng8.3.x86_64.rpm