[bts-link] source package src:cvc4

[debian-bts-link at 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 at 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 -> closed
#  * closed upstream
tags 970511 + fixed-upstream
usertags 970511 - status-open
usertags 970511 + status-closed

thanks