https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: e3d8bd1b3b2b2eb830916e2cfe791c580c9ef9bf authored by Pierre-Yves Strub on 15 October 2019, 07:31:07 UTC
Merge branch '1.0' into draft-oaep
Tip revision: e3d8bd1
COPYRIGHT.meta.yaml
root:
  type: dict
  kids:
    entities:
      type: mapofstrings
      required: true
    copyrights:
      type: listofdicts
      required: true
      kids:
        pattern:
          type: listofstrings
          required: true
        style:
          type: string
          values: ["coq", "ocaml", "ec", "elisp"]
          required: true
        copyrights:
          type: listofdicts
          required: true
          kids:
            date:
              type: string
              required: true
            who:
              type: string
              required: true
        license:
          type: string
          require: false
back to top