Oh, I guess this bug probably isn't needed since there aren't Ubuntu- specific changes and it will be removed from Debian unstable soon but it's too late: I already filed the bug.
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to prosper in Ubuntu. https://bugs.launchpad.net/bugs/1729999 Title: Please remove prosper source, superseded Status in prosper package in Ubuntu: New Status in prosper package in Debian: Unknown Bug description: Please remove the *SOURCE* package prosper as prosper is now incorporated into TeX Live, and src:texlive-base builds a transitional package prosper. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/prosper/+bug/1729999/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp

