Hello Savannah Hackers! I patched mirmon to work with mirrors with onion domains [0]. Could Savannah's mirmon [1] be patched to use this version, and install torsocks if it's not installed, so we can add the following mirror [2]?
Best, Facundo. [0] https://caixa.lander.cat/programari/mirmon-tor/mirmon-2.11-tor2.patch [1] https://download.savannah.gnu.org/mirmon/allgnu/ [2] http://ok5gebj3yfokll4ok6uveed5cui3errkgyllp2b526oqxgtppqepneyd.onion/gnu/