Hi! Maxim Cournoyer <[email protected]> skribis:
> Ludovic Courtès <[email protected]> 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’.
