Processed: Bug#1005254 marked as pending in ssreflect

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1005254 marked as pending in ssreflect
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 10 Feb 2022 10:27:06 +0000
Message-id: <[🔎] handler.s.U1005254.164448875619068.transcript@bugs.debian.org>
References: <6204e83134a75_10b12b27081a383079643@godard.mail> <[🔎] 164444520057.27921.6944599270529269171.reportbug@zam504.zam.kfa-juelich.de>

Processing control commands:

> tag -1 pending
Bug #1005254 [src:ssreflect] libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4)
Added tag(s) pending.

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

Reply to:

References:
- Bug#1005254: libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4)
  - From: Andreas Beckmann <anbe@debian.org>

Prev by Date: Bug#1005254: libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4)
Next by Date: [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-6
Previous by thread: Bug#1005254: libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4)
Next by thread: Bug#1005254: marked as done (libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4))
Index(es):
- Date
- Thread