Processing of coq-unicoq_1.6-9.1-4_source.changes

Debian FTP Masters <[email protected]>
Newsgroups gmane.linux.debian.devel.ocaml
Message-ID <[email protected]> 
coq-unicoq_1.6-9.1-4_source.changes uploaded successfully to localhost
along with the files:
  coq-unicoq_1.6-9.1-4.dsc
  coq-unicoq_1.6-9.1-4.debian.tar.xz
  coq-unicoq_1.6-9.1-4.git.tar.xz
  coq-unicoq_1.6-9.1-4_source.buildinfo

Greetings,

	Your Debian queue daemon (running on host usper.debian.org)
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.