Processed: Fixed already

To: julien.puydt@gmail.com
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Fixed already
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 29 May 2022 20:36:04 +0000
Message-id: <[🔎] handler.s.C.16538563709832.transcript@bugs.debian.org>
References: <7e841f85d82e51af1d603eb40addf501f7c8fb45.camel@gmail.com>

Processing commands for control@bugs.debian.org:

> fixed #1012061 3.2.0-3
Bug #1012061 [src:coq, src:coquelicot] coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
The source 'coq' and version '3.2.0-3' do not appear to match any binary packages
Marked as fixed in versions coquelicot/3.2.0-3 and coq/3.2.0-3.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1012061: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012061
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: Processed: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
Next by Date: Processed: Fixed package already in unstable
Previous by thread: Processed: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
Next by thread: Processed: Fixed package already in unstable
Index(es):
- Date
- Thread