Processed: Re: Bug#175418: tetex-extra tries to install ctangle.1.gz which already belongs to package cweb

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 175418 important
Bug#175418: tetex-extra tries to install ctangle.1.gz which already belongs to package cweb
Severity set to `important'.

> merge 175418 175360
Bug#175360: tetex-bin: contains ctangle.1 and cweave.1 from cweb
Bug#175418: tetex-extra tries to install ctangle.1.gz which already belongs to package cweb
Mismatch - only Bugs in same state can be merged:
Values for `package' don't match:
 #175360 has `tetex-bin';
 #175418 has `tetex-extra'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)