Processing of coq-relation-algebra_1.7.8-1_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-relation-algebra_1.7.8-1_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sun, 11 Sep 2022 12:59:51 +0000
Message-id: <[🔎] E1oXMYx-001CFI-NP@usper.debian.org>

coq-relation-algebra_1.7.8-1_amd64.changes uploaded successfully to localhost
along with the files:
  coq-relation-algebra_1.7.8-1_amd64.buildinfo
  libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb
  libcoq-relation-algebra_1.7.8-1_amd64.deb

Greetings,

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

Reply to:

Prev by Date: Processing of coq-relation-algebra_1.7.8-1_source.changes
Next by Date: Processing of coq-doc_8.16.0-1_source.changes
Previous by thread: Processing of coq-relation-algebra_1.7.8-1_source.changes
Next by thread: Processing of coq-relation-algebra_1.7.8-1_amd64.changes
Index(es):
- Date
- Thread