let providers = { eleves-ens = "cloud.eleves.ens.fr"; frama-agenda = "framagenda.org"; dgnum-nc = "cloud.dgnum.eu"; }; in builtins.mapAttrs (name: value: "https://${value}/remote.php/dav/public-calendars/") providers