Sat, 22 Feb 2025 15:25:45 CET | login

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

Name/etc/profile.d/opam.sh
Digest (sha256)e1a4d238a9c50035ab51183062ab919d71cc5e5df2a9263ef7d98ff60823a520
Size129
Modification timeThu, 13 Feb 2025 18:33:05 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMxs-opam-repo-6.86.0-1.0.ydi.2.xcpng8.3.x86_64.rpm