Processing of coq-stdpp_1.7.0-1_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-stdpp_1.7.0-1_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Fri, 08 Jul 2022 10:29:28 +0000
Message-id: <[🔎] E1o9lEm-0007tr-Si@usper.debian.org>

coq-stdpp_1.7.0-1_amd64.changes uploaded successfully to localhost
along with the files:
  coq-stdpp_1.7.0-1.dsc
  coq-stdpp_1.7.0.orig.tar.gz
  coq-stdpp_1.7.0-1.debian.tar.xz
  coq-stdpp_1.7.0-1_amd64.buildinfo
  libcoq-stdpp_1.7.0-1_amd64.deb

Greetings,

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

Reply to:

Prev by Date: coq-equations_1.3-8.15-1_amd64.changes is NEW
Next by Date: coq-stdpp_1.7.0-1_amd64.changes is NEW
Previous by thread: coq-equations_1.3-8.15-1_amd64.changes is NEW
Next by thread: coq-stdpp_1.7.0-1_amd64.changes is NEW
Index(es):
- Date
- Thread