Processed: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues

To: Paul Gevers <elbrus@debian.org>
Cc: debian-ocaml-maint@lists.debian.org, debian-bugs-closed@lists.debian.org
Subject: Processed: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 21 Jan 2024 07:45:05 +0000
Message-id: <[🔎] handler.s.B.17058229443580320.transcript@bugs.debian.org>
References: <[🔎] 0342cba6-457b-496a-9788-c0599362d735@debian.org> <[🔎] 0342cba6-457b-496a-9788-c0599362d735@debian.org>

Processing control commands:

> close -1 8.18.0+dfsg-1
Bug #1061232 [src:coq] src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Marked as fixed in versions coq/8.18.0+dfsg-1.
Bug #1061232 [src:coq] src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Marked Bug as done

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

Reply to:

References:
- Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
  - From: Paul Gevers <elbrus@debian.org>

Prev by Date: Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Next by Date: Processing of mathcomp-finmap_2.0.0-2_source.changes
Previous by thread: Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Next by thread: Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Index(es):
- Date
- Thread