Processing of flocq_4.1.0-2_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of flocq_4.1.0-2_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sat, 16 Jul 2022 11:13:15 +0000
Message-id: <[🔎] E1oCfjX-0007d3-A1@usper.debian.org>

flocq_4.1.0-2_source.changes uploaded successfully to localhost
along with the files:
  flocq_4.1.0-2.dsc
  flocq_4.1.0-2.debian.tar.xz
  flocq_4.1.0-2_source.buildinfo

Greetings,

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

Reply to:

Prev by Date: Bug#1015018: ITP: coq-reduction-effects -- reduction effects for Coq
Next by Date: flocq_4.1.0-2_source.changes ACCEPTED into unstable
Previous by thread: Bug#1015018: ITP: coq-reduction-effects -- reduction effects for Coq
Next by thread: flocq_4.1.0-2_source.changes ACCEPTED into unstable
Index(es):
- Date
- Thread