Processed: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac

To: Paul Gevers <elbrus@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 29 May 2022 15:39:04 +0000
Message-id: <[🔎] handler.s.B.16538385614064.transcript@bugs.debian.org>
References: <[🔎] b847f15b-9f97-cbbe-3043-24bfcd1635d0@debian.org> <[🔎] b847f15b-9f97-cbbe-3043-24bfcd1635d0@debian.org>

Processing control commands:

> found -1 coq/8.15.1+dfsg-2
Bug #1012061 [src:coq, src:coquelicot] coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
Marked as found in versions coq/8.15.1+dfsg-2.
> found -1 coquelicot/3.2.0-2
Bug #1012061 [src:coq, src:coquelicot] coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
Marked as found in versions coquelicot/3.2.0-2.

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

Reply to:

References:
- Bug#1012061: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac
  - From: Paul Gevers <elbrus@debian.org>

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