Am Wed, Jan 25, 2023 at 01:39:29PM +0100 schrieb zimoun: > Is the package ’valgrind/interactive’ accessible with valgrind@3.17 > needed? Indeed, maybe it could be dropped, especially if it is broken > for some use-case.
I do not know whether it is broken; the question is rather whether it is needed: We do not normally keep several versions of packages around unless there is a good reason, and if there is one, it does not seem to be documented here. Similarly for valgrind-noninteractive 3.17; maybe if it is to be removed and replaced by valgrind-noninteractive 3.20, this will have to be done on a particular branch, or maybe it is indeed needed. The need for valgrind-noninteractive is also unclear. Andreas