# # bts-link upstream status pull for source package src:cvc5 # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html # https://bts-link-team.pages.debian.net/bts-link/ #
user debian-bts-l...@lists.debian.org # remote status report for #1074235 (http://bugs.debian.org/1074235) # Bug title: cvc5: CVE-2024-37794 CVE-2024-37795 # * https://github.com/cvc5/cvc5/issues/10813 # * remote status changed: (?) -> closed # * closed upstream tags 1074235 + fixed-upstream usertags 1074235 + status-closed thanks -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
