Processing of coq_8.8.2-1_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq_8.8.2-1_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Mon, 07 Jan 2019 04:31:13 +0000
Message-id: <[🔎] E1ggMZF-0002Do-Dg@usper.debian.org>

coq_8.8.2-1_amd64.changes uploaded successfully to localhost
along with the files:
  coq_8.8.2-1.dsc
  coq_8.8.2.orig.tar.gz
  coq_8.8.2-1.debian.tar.xz
  coq-dbgsym_8.8.2-1_amd64.deb
  coq-theories-dbgsym_8.8.2-1_amd64.deb
  coq-theories_8.8.2-1_amd64.deb
  coq_8.8.2-1_amd64.buildinfo
  coq_8.8.2-1_amd64.deb
  libcoq-ocaml-dbgsym_8.8.2-1_amd64.deb
  libcoq-ocaml-dev_8.8.2-1_amd64.deb
  libcoq-ocaml_8.8.2-1_amd64.deb

Greetings,

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

Reply to:

Prev by Date: Bug#916369: marked as done (libcoq-ocaml depends and build-depends on cruft packages.)
Next by Date: coq_8.8.2-1_amd64.changes ACCEPTED into unstable
Previous by thread: Bug#916369: marked as done (libcoq-ocaml depends and build-depends on cruft packages.)
Next by thread: coq_8.8.2-1_amd64.changes ACCEPTED into unstable
Index(es):
- Date
- Thread