Information for file /etc/profile.d/opam.sh
| Name | /etc/profile.d/opam.sh |
|---|---|
| Digest (sha256) | e6a7579f89d187dc36b432d127c1e607d7e1b35c3c7da15ce83cba02b6fe30d3 |
| Size | 95 |
| Modification time | Tue, 13 Aug 2024 16:00:41 CEST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | xs-opam-repo-6.80.0-1.1.xcpng8.3.x86_64.rpm |
