The 0.13.3 version is now the default at coq.now.sh and is available via NPM as well.
We have started a convention for archiving older versions; you can access 0.13.2 via coq-0-13-2.now.sh.
Last updated: May 31 2023 at 04:01 UTC