menhir_20190626-1_amd64.changes uploaded successfully to localhost along with the files: menhir_20190626-1.dsc menhir_20190626.orig.tar.gz menhir_20190626-1.debian.tar.xz libmenhir-coq_20190626-1_amd64.deb libmenhir-ocaml-dev-dbgsym_20190626-1_amd64.deb libmenhir-ocaml-dev_20190626-1_amd64.deb menhir-dbgsym_20190626-1_amd64.deb menhir-doc_20190626-1_all.deb menhir_20190626-1_amd64.buildinfo menhir_20190626-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
