Processing of ott_0.33+ds-2_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of ott_0.33+ds-2_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Fri, 22 Dec 2023 10:21:39 +0000
Message-id: <[🔎] E1rGcex-003M4S-HR@usper.debian.org>

ott_0.33+ds-2_source.changes uploaded successfully to localhost
along with the files:
  ott_0.33+ds-2.dsc
  ott_0.33+ds-2.debian.tar.xz
  ott_0.33+ds-2_source.buildinfo

Greetings,

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

Reply to:

Prev by Date: Bug#1044276: marked as done (coq-dpdgraph: Fails to build source after successful build)
Next by Date: Bug#1044395: marked as done (coq-reduction-effects: Fails to build source after successful build)
Previous by thread: Bug#1044276: marked as done (coq-dpdgraph: Fails to build source after successful build)
Next by thread: Bug#1044395: marked as done (coq-reduction-effects: Fails to build source after successful build)
Index(es):
- Date
- Thread