Sat, 30 Aug 2025 21:31:04 UTC | login

Information for file /etc/profile.d/opam.sh

Name/etc/profile.d/opam.sh
Digest (sha256)68e03ec7525119ac55a73061ecd8f869b21c2def48387e6bf42766457244abdc
Size129.00 B
Modification timeThu, 13 Feb 2025 17:51:15 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMxs-opam-repo-6.86.0-1.0.ydi.3.xcpng8.3.x86_64.rpm