12:51:59 + wget --spider -q https://build.openmodelica.org/apt/pool/contrib-plucky/omshell_1.25.3-1_amd64.deb
