Processing of coq-record-update_0.3.4-3_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-record-update_0.3.4-3_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sat, 03 Aug 2024 15:49:35 +0000
Message-id: <[🔎] E1saH0h-003A6X-1C@usper.debian.org>

coq-record-update_0.3.4-3_source.changes uploaded successfully to localhost
along with the files:
  coq-record-update_0.3.4-3.dsc
  coq-record-update_0.3.4-3.debian.tar.xz

Greetings,

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

Reply to:

Prev by Date: coq-record-update_0.3.4-3_source.changes ACCEPTED into unstable
Next by Date: Re: Comments regarding lem_2022-12-10+dfsg-1_amd64.changes
Previous by thread: coq-record-update_0.3.4-3_source.changes ACCEPTED into unstable
Next by thread: coq-reduction-effects_0.1.5-5_source.changes ACCEPTED into unstable
Index(es):
- Date
- Thread