On Wed, Oct 25, 2023 at 3:46 PM Gino Giotto <[email protected]> wrote:
> From https://us.metamath.org/ the mmsolitaire.tar.gz > <https://us.metamath.org/downloads/mmsolitaire.tar.gz> , mpeuni.tar.gz > <https://us.metamath.org/downloads/mpeuni.tar.gz> , qleuni.tar.gz > <https://us.metamath.org/downloads/qleuni.tar.gz> and symbols.tar.gz > <https://us.metamath.org/downloads/symbols.tar.gz> links give a 404. These links have been discontinued for space concerns: https://github.com/metamath/metamath-website-scripts/blob/8d81a0c1ab3e433b335b4e6a3bdc364d277b4946/old/install.sh#L1580-L1581 although the new code https://github.com/metamath/metamath-website-scripts/blob/8d81a0c1ab3e433b335b4e6a3bdc364d277b4946/build-website.sh#L188-L189 extends this to all subfolders rather than just mpeuni for consistency. A PR to remove / comment out the links from the website are welcome. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSt0AMr4FVfMrCRN6J9Fd1rhbHB_7fw673aZJYWdfRVRqg%40mail.gmail.com.
