opam-version: "2.0"
switch: "default"
installed-switches: ["default"]
