Sat, 30 Aug 2025 23:29:49 UTC | login

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

Name/etc/profile.d/opam.sh
Digest (sha256)e6a7579f89d187dc36b432d127c1e607d7e1b35c3c7da15ce83cba02b6fe30d3
Size95.00 B
Modification timeTue, 16 Apr 2024 17:21:19 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMxs-opam-repo-6.77.0-1.1.xcpng8.3.x86_64.rpm