[bts-link] source package src:cvc4

To: control@bugs.debian.org
Cc: debian-bts-link@lists.debian.org, "src:cvc4"@packages.debian.org
Subject: [bts-link] source package src:cvc4
From: debian-bts-link@lists.debian.org
Date: Thu, 24 Sep 2020 17:18:07 +0000
Message-id: <[🔎] 160096788792.32505.7132253543714592266.btslink@sonntag.debian.org>
Reply-to: debian-bts-link@lists.debian.org

#
# bts-link upstream status pull for source package src:cvc4
# see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
#     https://bts-link-team.pages.debian.net/bts-link/
#

user debian-bts-link@lists.debian.org

# remote status report for #970511 (http://bugs.debian.org/970511)
# Bug title: cvc4: test failures on various architectures
#  * https://github.com/CVC4/CVC4/issues/5082
#  * remote status changed: (?) -> open
usertags 970511 + status-open

thanks

Reply to:

Follow-Ups:
- Processed: [bts-link] source package src:cvc4
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: [bts-link] source package gnome-control-center
Next by Date: [bts-link] source package src:gcc-10
Previous by thread: Processed: [bts-link] source package gnome-control-center
Next by thread: Processed: [bts-link] source package src:cvc4
Index(es):
- Date
- Thread