mit-plv/coqutil

AUTHORS and LICENSE files

Closed this issue · 1 comments

JasonGross commented

Please add an AUTHORS file and a LICENSE file; I cannot create an opam package if I don't know which authors to list and what license to use.