swh:1:snp:0e3a7a90b5b85feca1ee6285ebc0301d2b85deae
Tip revision: ce4d67413822686817f6b2176478b1c8bd68f83e authored by Pierre-Yves Strub on 30 September 2019, 15:35:43 UTC
make things compile
make things compile
Tip revision: ce4d674
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