Processed: Fixed in NMU tetex-bin 1.0.7+20000807-6

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

Processing commands for control@bugs.debian.org:

> severity 69421 fixed
Bug#69421: tetex-lib: tetex-lib should be called libkpathsea ..
Severity set to `fixed'.

> severity 77071 fixed
Bug#77071: copyright tetex-lib should be LGPL
Severity set to `fixed'.

> severity 77072 fixed
Bug#77072: copyright of tetex-dev should be LGPL
Severity set to `fixed'.

> severity 78741 fixed
Bug#78741: tetex-lib: rename to libkpathsea3
Severity set to `fixed'.

> quit
Stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)