Information for file /etc/profile.d/opam.sh
| Name | /etc/profile.d/opam.sh |
|---|---|
| Digest (sha256) | e4102856a23ce7f2a5b2b4580aaef72956fd5cd52c63b627e32798a25a25be22 |
| Size | 59 |
| Modification time | Tue, 20 Dec 2022 13:15:48 CET |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | xs-opam-repo-6.61.0-1.xcpng8.3.x86_64.rpm |
