Wed, 11 Dec 2024 23:15:37 UTC | login

Information for file /etc/catkin/profile.d/00.catkin.bash

Name/etc/catkin/profile.d/00.catkin.bash
Digest (sha256)bcb26d41d7126b69a0fefdebecb002a25e896ce2de51a781e98b11deec3abd71
Size63.00 B
Modification timeFri, 23 Feb 2018 23:29:50 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMcatkin-0.4.5-19.gitd4f1f24.fc29.noarch.rpm