Processing of coq-elpi_2.5.0-1.1_source.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-elpi_2.5.0-1.1_source.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Tue, 17 Jun 2025 07:00:26 +0000
Message-id: <[🔎] E1uRQJ0-000PXR-9M@usper.debian.org>

coq-elpi_2.5.0-1.1_source.changes uploaded successfully to localhost
along with the files:
  coq-elpi_2.5.0-1.1.dsc
  coq-elpi_2.5.0-1.1.debian.tar.xz
  coq-elpi_2.5.0-1.1_source.buildinfo

Greetings,

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

Reply to:

Prev by Date: Bug#1107829: marked as done (coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000))
Next by Date: Re: unblock (pre-approval): ocaml/5.3.0-3
Previous by thread: coq-elpi_2.5.0-1.1_source.changes ACCEPTED into unstable
Next by thread: lem_2025-03-13+dfsg-1_source.changes ACCEPTED into unstable
Index(es):
- Date
- Thread