Thu, 12 Dec 2024 20:34:00 UTC | login

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

Name/etc/catkin/profile.d/00.catkin.zsh
Digest (sha256)bcb26d41d7126b69a0fefdebecb002a25e896ce2de51a781e98b11deec3abd71
Size63.00 B
Modification timeWed, 26 Jul 2017 04:36:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMcatkin-0.4.5-16.gitd4f1f24.fc27.noarch.rpm