I did a new Whonix install today using Whonix 13 ova files and could not download the Tor Browser (SSL fail). On both the Gateway and the Workstation, I use proposed-updates.
After a few tries, including updating and rebooting both the Workstation and the Gateway, I downloaded and installed the Tor Browser manually by following the official instructions
I was just wondering whether it was a temporary bug I experienced or is it a problem other users have been facing lately?