Bug#736741: [src:monodevelop] Sourceless file

2014-09-03 Thread Raphael Hertzog
On Sun, 26 Jan 2014, bastien ROUCARIES wrote: I could not find the source of: monodevelop 4.0.12+dfsg-3~exp1 (source) external/mono-tools/webdoc/plugins/iframe-plugin/jquery.iframe-auto-height-plugin.1.9.0.min.js Are there active maintainers on the pkg-cli-team? I just saw that

Bug#736741: [pkg-cli-apps-team] Bug#736741: [src:monodevelop] Sourceless file

2014-09-03 Thread Iain Lane
On Wed, Sep 03, 2014 at 05:56:07PM +0200, Raphael Hertzog wrote: On Sun, 26 Jan 2014, bastien ROUCARIES wrote: I could not find the source of: monodevelop 4.0.12+dfsg-3~exp1 (source) external/mono-tools/webdoc/plugins/iframe-plugin/jquery.iframe-auto-height-plugin.1.9.0.min.js

Bug#736741: [src:monodevelop] Sourceless file

2014-01-26 Thread bastien ROUCARIES
Package: src:monodevelop Version: 4.0.12+dfsg-3~exp1 Severity: serious User: debian...@lists.debian.org Usertags: source-contains-prebuilt-javascript-object X-Debbugs-CC: ftpmas...@debian.org I could not find the source of: monodevelop 4.0.12+dfsg-3~exp1 (source)