Information for file /etc/profile.d/opam.sh
Name | /etc/profile.d/opam.sh |
---|---|
Digest (sha256) | e1a4d238a9c50035ab51183062ab919d71cc5e5df2a9263ef7d98ff60823a520 |
Size | 129 |
Modification time | Thu, 13 Feb 2025 18:33:05 CET |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | xs-opam-repo-6.86.0-1.0.ydi.2.xcpng8.3.x86_64.rpm |