Processing of flocq_4.2.0-1_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of flocq_4.2.0-1_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Wed, 20 Nov 2024 10:02:50 +0000
Message-id: <[🔎] E1tDhXu-00Agrc-4n@usper.debian.org>

flocq_4.2.0-1_source.changes uploaded successfully to localhost
along with the files:
  flocq_4.2.0-1.dsc
  flocq_4.2.0.orig.tar.bz2
  flocq_4.2.0-1.debian.tar.xz
  flocq_4.2.0-1_source.buildinfo

Greetings,

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

Reply to:

Prev by Date: Processing of coq-stdpp_1.11.0-1_source.changes
Next by Date: Processing of paramcoq_1.1.3+coq8.20-1_source.changes
Previous by thread: Processing of coq-stdpp_1.11.0-1_source.changes
Next by thread: Processing of paramcoq_1.1.3+coq8.20-1_source.changes
Index(es):
- Date
- Thread