Hi! Maxim Cournoyer <maxim.courno...@gmail.com> skribis:
> Ludovic Courtès <ludovic.cour...@inria.fr> writes: [...] >> However, installing those RPMs takes a lot of time. For example, >> installing the RPM for ‘gmsh’ (closure: 596 MiB; thousands of files) >> takes ~45mn. [...] > What is the OS thy install on? How do they generate the gmsh package > exactly? Perhaps I still have a RPM-based distro VM to try it with. They’re targeting CentOS 7 (!). It’s built with: guix pack -f rpm -S /opt/bin=bin -R gmsh Ludo’.
