Add missed packages and upgrade docker image to 18.04 - Githubissues

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

MIT License

190 stars 37 forks source link

Add missed packages and upgrade docker image to 18.04 #100

Closed ipa-nhg closed 4 years ago

git-afsantos commented 4 years ago

Thanks for the update! :+1: