Processing of coq_8.12.0-1_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq_8.12.0-1_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sat, 22 Aug 2020 09:26:38 +0000
Message-id: <[🔎] E1k9PnK-0001FY-4i@usper.debian.org>

coq_8.12.0-1_source.changes uploaded successfully to localhost
along with the files:
  coq_8.12.0-1.dsc
  coq_8.12.0.orig.tar.gz
  coq_8.12.0-1.debian.tar.xz
  coq_8.12.0-1_source.buildinfo

Greetings,

	Your Debian queue daemon (running on host usper.debian.org)

Reply to:

Prev by Date: ocaml-dune_2.7.0-1_source.changes ACCEPTED into unstable
Next by Date: coq_8.12.0-1_source.changes ACCEPTED into experimental
Previous by thread: ocaml-dune_2.7.0-1_source.changes ACCEPTED into unstable
Next by thread: coq_8.12.0-1_source.changes ACCEPTED into experimental
Index(es):
- Date
- Thread