Fri, 22 Nov 2024 17:07:20 CET | login

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

Name/etc/profile.d/opam.sh
Digest (sha256)e4102856a23ce7f2a5b2b4580aaef72956fd5cd52c63b627e32798a25a25be22
Size59
Modification timeThu, 16 Mar 2023 22:46:28 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMxs-opam-repo-6.66.0-1.1.xcpng8.3.x86_64.rpm