… and on guix.bordeaux.inria.fr (2.0M entries):