On Wed, 2022-12-07 at 07:42 +0100, Andreas Tille wrote: > Hi, > > I just wanted to do some polishing changes (watch file + lintian- > brush) > but I realised seqan2 is failing to build[1].
Is it really failing ? [1] link only shows failure due to max execution time in CI and job was killed by CI. Olivier > I wonder whether we need > to care for this library and thus need to fix it or whether it is > time > to remove it from Debian. > > Kind regards > Andreas. > > > [1] https://salsa.debian.org/med-team/seqan2/-/jobs/3622896 > -- gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438
