opam-version: "1"
maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
