@solene It's hard to estimate the number of Guix packages, since in addition to the official repository, there are a bunch of community repositories, such as nonguix.