Processing of menhir_20190626-1_amd64.changes
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)
Reply to: