Ciao, recently users and developers are facing hard to manage problems due to the maintainance of hydra.gnu.org and its proxy mirror.hydra.gnu.org [1] since 23 Oct 2018 unfortunately many recent reports from users in help-guix and guix-devel mailing list clearly shows that berlin.guixsd.org it's still not a solution, since several missing substitutes are forcing users to "build the world" [2] please is there a roadmap in GNU and/or Guix devel team to address this problems? GuixSD is now well known in the free software community, please aknowledge that this king of problems are detrimental to project reputation given the prolonged issue, please also consider writing an *official* blog post explaining the current situation and steps adopted to prevent similar issues in the future Me and many others would be very happy to help building a more resilient substitutes infrastructure: just tell us how to do for example: 1. is there a method to "replicate the whole store of an official server (e.g. hydra.gnu.org once healed)" so we can just "guix publish" a *complete* mirror? In this case a ready to use official mirror-config.scm could be useful 2. is there an official mirrors directory users can look at when needed? 3. is there a plan to build a service similar to http://httpredir.debian.org/? (I looked on the web but did not find any reference to such plan) ciao Giovanni [1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=33151 [2] peronally I'm trying to install a bare-bones.scm machine in a VM and guix is compiling many many packages, including texlive... :-S (using berlin.guixsd.org as substitute URL) [3] https://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-publish.html -- Giovanni Biscuolo Xelera IT Infrastructures