Bug#898581: Remove pike7.8 from Debian?

2018-06-23 Thread Magnus Holmgren
söndag 13 maj 2018 kl. 23:59:49 CEST skrev du: > Debian 9 "Stretch" has both pike7.8 and pike8.0. In general, we try > not to have duplicate packages in Debian. Is there any reason we > shouldn't remove pike7.8 from Debian unstable now? No, Pike 8.0 has been out long enough now that I was

Bug#898581: Remove pike7.8 from Debian?

2018-05-13 Thread Jeremy Bicha
Source: pike7.8 Version: 7.8.866-8.1 Severity: serious Tags: buster sid Debian 9 "Stretch" has both pike7.8 and pike8.0. In general, we try not to have duplicate packages in Debian. Is there any reason we shouldn't remove pike7.8 from Debian unstable now? Thanks, Jeremy Bicha