(* OASIS_START *)
(* DO NOT EDIT (digest: 24155d7e6721133baefda9183640b148) *)

Authors of gpr:

* Markus Mottl <markus.mottl@gmail.com>

Current maintainers of gpr:

* Markus Mottl <markus.mottl@gmail.com>

(* OASIS_STOP *)
