Processing of coq-serapi_8.19.0+0.19.3-4_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-serapi_8.19.0+0.19.3-4_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sun, 04 Aug 2024 06:53:31 +0000
Message-id: <[🔎] E1saV7T-003u1z-HB@usper.debian.org>

coq-serapi_8.19.0+0.19.3-4_source.changes uploaded successfully to localhost
along with the files:
  coq-serapi_8.19.0+0.19.3-4.dsc
  coq-serapi_8.19.0+0.19.3-4.debian.tar.xz

Greetings,

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

Reply to:

Prev by Date: Processing of coq-interval_4.11.0-2_source.changes
Next by Date: Processing of coqeal_2.0.2-2_source.changes
Previous by thread: Processing of coq-interval_4.11.0-2_source.changes
Next by thread: Processing of coqeal_2.0.2-2_source.changes
Index(es):
- Date
- Thread