[Bug 235036] Re: library sources are no longer available
** Changed in: ghc6 (Debian) Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/235036 Title: library sources are no longer available To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ghc6/+bug/235036/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 235036] Re: library sources are no longer available
I'm going to wontfix this bug report, as I don't think this is something that we are going to do. Thanks for taking the time to report the issue, though. ** Changed in: ghc6 (Ubuntu) Status: Confirmed => Won't Fix -- library sources are no longer available https://bugs.launchpad.net/bugs/235036 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 235036] Re: library sources are no longer available
** Changed in: ghc6 (Debian) Status: Unknown => New -- library sources are no longer available https://bugs.launchpad.net/bugs/235036 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 235036] Re: library sources are no longer available
Proxying from Ian, the debian maintainer: "Personally I think that the HTMLised sources in the documentation plus "apt-get source" is enough. I also don't see why it makes sense to do this for the libraries that happen to need to come in the ghc6 packages, but not all the other libraries; e.g. I think the source for mtl is at least as likely to be wanted as the source for process. But putting a copy of the whole source package in one of the binary packages feels wrong to me. Any other opinions?" P.S.: you can reply right back to the debian bug via mailing to [EMAIL PROTECTED] Cheers, Stefan. -- library sources are no longer available https://bugs.launchpad.net/bugs/235036 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 235036] Re: library sources are no longer available
** Bug watch added: Debian Bug tracker #483178 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=483178 ** Also affects: ghc6 (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=483178 Importance: Unknown Status: Unknown -- library sources are no longer available https://bugs.launchpad.net/bugs/235036 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs