Processed: Fixed by the recent upload with the patch for sphinx 4.5.0

To: julien.puydt@gmail.com
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Fixed by the recent upload with the patch for sphinx 4.5.0
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 16 Jun 2022 05:21:03 +0000
Message-id: <[🔎] handler.s.C.165535677013347.transcript@bugs.debian.org>
References: <db08a402a90f3180a3ce5681de08cd2263d833f7.camel@gmail.com>

Processing commands for control@bugs.debian.org:

> fixed 1012019 8.15.2-1
Bug #1012019 [src:coq-doc] coq-doc: FTBFS
The source 'coq-doc' and version '8.15.2-1' do not appear to match any binary packages
Marked as fixed in versions coq-doc/8.15.2-1.
> thanks
Stopping processing here.

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

Reply to:

Prev by Date: Request: autobuild src:coq-doc
Next by Date: Processing of coq-doc_8.15.2-1_amd64.changes
Previous by thread: Re: Request: autobuild src:coq-doc
Next by thread: Processing of coq-doc_8.15.2-1_amd64.changes
Index(es):
- Date
- Thread