[bts-link] source package src:cbmc

To: control@bugs.debian.org
Cc: debian-bts-link@lists.debian.org, "src:cbmc"@packages.debian.org
Subject: [bts-link] source package src:cbmc
From: debian-bts-link@lists.debian.org
Date: Thu, 16 May 2024 17:34:03 +0000
Message-id: <[🔎] 171588084350.2359990.11398554863817777484.btslink@sonntag.debian.org>
Reply-to: debian-bts-link@lists.debian.org

#
# bts-link upstream status pull for source package src:cbmc
# 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 #1070441 (http://bugs.debian.org/1070441)
# Bug title: cmbc: arm64 FTBFS with glibc 2.38
#  * https://github.com/diffblue/cbmc/issues/7908
#  * remote status changed: (?) -> open
usertags 1070441 + status-open

thanks

Reply to:

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

Prev by Date: [bts-link] source package src:iptux
Next by Date: [bts-link] source package src:r-cran-data.table
Previous by thread: Processed: [bts-link] source package src:iptux
Next by thread: Processed: [bts-link] source package src:cbmc
Index(es):
- Date
- Thread