opam-version: "1.0"
