[bob-devel] update pins

Somehow the pins that we had become broken again. This updates pins to make sure bob-devel builds.

assigned to @amohammadi

enabled an automatic merge when the pipeline for f6a066a2 succeeds

mentioned in commit 25d8d28b

merged