Processing of aac-tactics_8.17.0-2_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of aac-tactics_8.17.0-2_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Mon, 12 Jun 2023 20:29:01 +0000
Message-id: <[🔎] E1q8o9t-00B1mc-C3@usper.debian.org>

aac-tactics_8.17.0-2_source.changes uploaded successfully to localhost
along with the files:
  aac-tactics_8.17.0-2.dsc
  aac-tactics_8.17.0-2.debian.tar.xz
  aac-tactics_8.17.0-2_source.buildinfo

Greetings,

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

Reply to:

Prev by Date: Processing of coq-bignums_8.17.0-3_source.changes
Next by Date: Processing of coq-dpdgraph_1.0+8.17-1_source.changes
Previous by thread: Processing of coq-bignums_8.17.0-3_source.changes
Next by thread: Processing of coq-dpdgraph_1.0+8.17-1_source.changes
Index(es):
- Date
- Thread