catkin version: 0.8.5

Release date: May 21, 2020