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

To: Paul Gevers <elbrus@debian.org>
Cc: debian-bugs-closed@lists.debian.org, debian-ocaml-maint@lists.debian.org
Subject: Processed: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 31 May 2024 20:21:05 +0000
Message-id: <[🔎] handler.s.B.1717186670641826.transcript@bugs.debian.org>
References: <[🔎] a9327064-6590-48d3-acf6-1649455f2541@debian.org> <[🔎] a9327064-6590-48d3-acf6-1649455f2541@debian.org>

Processing control commands:

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

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

Reply to:

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

Prev by Date: Bug#1072308: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
Previous by thread: Bug#1072308: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
Index(es):
- Date
- Thread