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