this repo has no description

david as maintainer of menhir secondary

Changed files
+1 -1
packages
menhir-secondary
menhir-secondary.20210419
+1 -1
packages/menhir-secondary/menhir-secondary.20210419/opam
···
opam-version: "2.0"
-
maintainer: "francois.pottier@inria.fr"
+
maintainer: "David Allsopp <david@tarides.com>"
authors: [
"François Pottier <francois.pottier@inria.fr>"
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"