Processed: Bug#1013362 marked as pending in alt-ergo

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1013362 marked as pending in alt-ergo
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 04 Jul 2022 07:39:05 +0000
Message-id: <[🔎] handler.s.U1013362.165692007912500.transcript@bugs.debian.org>
References: <62c2980c4c077_24a7c4fdc1811c@godard.mail> <2b20e420-1798-5ac0-c4bb-f8dc4c02aaf1@debian.org>

Processing control commands:

> tag -1 pending
Bug #1013362 [src:alt-ergo] src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel
Added tag(s) pending.

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

Reply to:

Prev by Date: Processed: update bts meta info
Next by Date: Bug#1013362: marked as done (src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel)
Previous by thread: Processed: update bts meta info
Next by thread: Bug#1013362: marked as done (src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel)
Index(es):
- Date
- Thread