nix: use base names instead of pinned ones
This avoid a redundancy and helps maintainability. Without this, inconsisent names may appear when we change the override base.
Please register or sign in to comment
Si vous êtes un personnel Inria et que vous souhaitez participer aux tests de notre future plateforme Gitlab basée sur la version ultimate avec gitlab LFS activé merci de contacter Didier Chassignol.
This avoid a redundancy and helps maintainability. Without this, inconsisent names may appear when we change the override base.