src:bernhard - isn't in testing, - has 2 RC bugs, - is dead upstream (last upstream release in 2017), - upstream git repo has also disappeared, - has no rdeps in Debian, - hasn't had an upload from its listed co-maintainer for 8 years.
Shall we remove it from Debian? -- Stuart Prescott http://www.nanonanonano.net/ [email protected] Debian Developer http://www.debian.org/ [email protected] GPG fingerprint 90E2 D2C1 AD14 6A1B 7EBB 891D BBC1 7EBB 1396 F2F7
