I recommend you use the European mirror at least until the continuous problems with search etc. are fixed.
I recommend you use the European mirror at least until the continuous problems with search etc. are fixed.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel