Failed openocd install causing error due to expired certificate

Hi. This is my first time using vagrant. After running vagrant up, it attempts to install the necessary files to run, but fails to install openocd due to the certificate for sourceforge.net having expired. Research suggests this is due to an expired Let’s Encrypt root certificate. As a result, I am unable to run make upload, and it gives me the error:

/bin/sh: 1: openocd: not found
make: *** [upload_combo_jtag_erase_first] Error 127

Is there any way to get around this? I’ve attempt a manual install of openocd but not had much luck. Is there a way to point vagrant to my manual install? Or to ignore certificates when running vagrant up? Any help is much appreciated.

The error given during install is:
default: ERROR: cannot verify downloads.sourceforge.net’s certificate, issued by ‘/C=US/O=Let’s Encrypt/CN=R3’:
default: Issued certificate has expired.
default: To connect to downloads.sourceforge.net insecurely, use `–no-check-certificate’.
default: tar (child): openocd-0.11.0.tar.gz: Cannot open: No such file or directory
default: tar (child): Error is not recoverable: exiting now
default: tar: Child returned status 2
default: tar: Error is not recoverable: exiting now