Hi, On Sun, 22 Oct 2023 at 21:35, Maxim Cournoyer wrote: > --8<---------------cut here---------------start------------->8--- [...] > [user@fedora Downloads]$ sudo time rpm -i 7m01b0308z5y2pmyn8ywzdj914dxawsl-gmsh-rpm-pack.rpm > 17.26user 10.19system 0:42.31elapsed 64%CPU (0avgtext+0avgdata 24468maxresident)k > 1481136inputs+2177344outputs (19major+6242minor)pagefaults 0swaps > > [user@fedora Downloads]$ rpm --version > RPM version 4.18.0 > --8<---------------cut here---------------end--------------->8--- These days I am doing some experiments with CentOS7 (rpm 4.11.8), so I have a virtualbox VM around. Attached the view I get using the pack generated with, guix pack -f rpm -S /opt/bin=bin -R gmsh then copied with ’scp’. Well, I do not have GUI but gmsh seems working. For me, ’rpm -i’ needs less than 10 seconds. It installs 88 items if I read correctly. Hope that helps, simon