diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template index d79c3fd261a..0b5b19396cb 100644 --- a/srcpkgs/coq/template +++ b/srcpkgs/coq/template @@ -6,7 +6,7 @@ hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith" depends="ocaml-findlib" checkdepends="python3 rsync time" short_desc="Proof assistant written in OCaml" -maintainer="Leah Neukirchen " +maintainer="Orphaned " license="LGPL-2.1-only" homepage="https://coq.inria.fr" distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"