Processed: uploaded to sid

To: Gianfranco Costamagna <locutusofborg@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: uploaded to sid
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 17 Jun 2025 07:03:02 +0000
Message-id: <[🔎] handler.s.B1107826.17501437193328763.transcript@bugs.debian.org>
References: <[🔎] 1152fb17-9edb-4d3e-bd7a-f6c262158799@debian.org> <[🔎] 174998605652.688926.15724754484284893530.reportbug@localhost>

Processing control commands:

> tags -1 patch pending
Bug #1107826 [src:coq-elpi] coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000
Bug #1107829 [src:coq-elpi] coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000)
Added tag(s) pending.
Added tag(s) pending.

-- 
1107826: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1107826
1107829: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1107829
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1107826: uploaded to sid
  - From: Gianfranco Costamagna <locutusofborg@debian.org>
- Bug#1107826: coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000
  - From: Adrian Bunk <bunk@debian.org>

Prev by Date: Processed: forcibly merging 1107826 1107829
Next by Date: Bug#1107826: uploaded to sid
Previous by thread: Bug#1107826: coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000
Next by thread: Bug#1107826: uploaded to sid
Index(es):
- Date
- Thread