Artturin 7ba82dc81e marst,libidn2,mdk: remove duplicate /gnu in the url ... there urls only worked with "https://ftpmirror.gnu.org/" because it ignored the extra /gnu while with the other gnu mirrors "https://ftp.nluug.nl/pub/gnu/" it failed because the url would be pub/gnu/gnu.		2023-03-11 20:09:21 +02:00
..
default.nix	marst,libidn2,mdk: remove duplicate /gnu in the url	2023-03-11 20:09:21 +02:00