[Bug 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: 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/94720 Title: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mercury/+bug/94720/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
the PPA works and can be used to install the software. If someone wished to go through the trouble to try to find a Debian Sponsor for this, please go ahead. ** Changed in: mercury (Ubuntu) Assignee: Andreas Altaïr Redmer (altair-ibn-la-ahad) = (unassigned) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/94720 Title: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mercury/+bug/94720/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: mercury (Ubuntu) Status: Confirmed = In Progress -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/94720 Title: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mercury/+bug/94720/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
I have packaged version 14.01 (current) into a ppa. To install mercury on your computer do: sudo add-apt-repository ppa:altair-ibn-la-ahad/mercury-compiler sudo apt-get update sudo apt-get install mercury-compiler run the compiler with: mmc ** Changed in: mercury (Ubuntu) Assignee: (unassigned) = Andreas Altaïr Redmer (altair-ibn-la-ahad) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/94720 Title: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mercury/+bug/94720/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: mercury (Ubuntu) Status: In Progress = Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/94720 Title: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mercury/+bug/94720/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: mercury (Ubuntu) Status: Triaged = In Progress -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/94720 Title: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mercury/+bug/94720/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
New release schedule and naming scheme The Mercury project has decided to adopt a 6 monthly release schedule with each release being named by the year and month of the release. The next planned release is 10.04 which is due for release in April 2010. 10.04 beta now available. http://www.mercury.csse.unimelb.edu.au/news.html -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Could someone tell me whether packaging is still planned? It would be good to have this in Ubuntu. -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: debian Status: Unknown = New -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
# Removal requested on 2008-05-30. # Deleted on 2008-05-30 by Martin Pitt (From Debian) RoQA; RC buggy ** Changed in: mercury (Ubuntu) Status: Confirmed = Invalid -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: debian Importance: Unknown = Undecided ** Changed in: debian Remote watch: Debian Bug tracker #538802 = None ** Changed in: debian Status: New = Invalid -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
You cite an 18-month-old RoQA removal of a 5-year-old version. That's three good reasons that it is insufficient justification. Also, please do not remove Debian bug watches just to manually override the status. They are there for a reason. ** Changed in: debian Importance: Undecided = Unknown ** Changed in: debian Status: Invalid = Unknown ** Changed in: debian Remote watch: None = Debian Bug tracker #538802 ** Changed in: mercury (Ubuntu) Status: Invalid = Triaged -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Tags added: upgrade -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
I know the Mercury developer working on this -- the Debian package is well on the way, and I've built Jaunty binaries at https://launchpad.net/~wgrant/+archive/mercury. He has also filed an ITP in Debian. ** Bug watch added: Debian Bug tracker #538802 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=538802 ** Also affects: debian via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=538802 Importance: Unknown Status: Unknown -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: debian Status: Unknown = New -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
I should have commented previously, but upstream did reply that this was essentially the case. :) -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Contacted upstream via email requesting status update. -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Mercury developers are in the process of creating a debian package. This can be merged or adapted (if needed) when the package is ready. I don't want to step upstreams toes so I'm un-assigning myself from this package request. ** Changed in: mercury (Ubuntu) Assignee: Craig Silk (csilk) = (unassigned) ** Changed in: mercury (Ubuntu) Status: In Progress = Confirmed -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Just recieved an email from the current maintainer. He is busy with his job at Stanford uni, life etc, so has said he would be happy for me to adopt the package. Should be done and dusted by the time Intrepid is released. ** Changed in: mercury (Ubuntu) Assignee: (unassigned) = Craig Silk (csilk) Status: Confirmed = In Progress -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Current package maintainer was unresponsive so I've contacted the upstream development team to see if anyone has taken over. I'm still very much interested in updating this package if the developement team aren't planning to do so. ** Changed in: mercury (Ubuntu) Status: New = Confirmed -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Current package maintainer contacted and asked if he plans on updating the package to the latest/requested version. If not then I'll take this over. -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Changed in: mercury (Ubuntu) Importance: Undecided = Wishlist -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
** Summary changed: - Mercury (the compiler, NOT the messenger!) stable version 0.13.1 + [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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 94720] Re: [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Reopened the bug, based on info on this site, https://wiki.ubuntu.com/UbuntuDevelopment/NewPackages which states To get a package into Ubuntu, please file a bug in Launchpad and make sure it has the tag needs-packaging. Please mention where to get the source for it and which license it is under. (...) ** Summary changed: - Upgrade mercury to stable release, possibly latest. + [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 ** Description changed: + Taken from the website: + «Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.» + + URL: http://www.cs.mu.oz.au/research/mercury/download.html + License: The Mercury compiler is free software, and is distributed under the terms of the GNU General Public License., GPLv2 according to COPYING file in the archive provided in the designated URL + Notes (previous text on this bug report): + -- --- Binary package hint: mercury The currently packaged mercury is version 0.11.0.rotd.20040511, not the latest and not a stable one. rotd means release of the day, also know as daily snapshot. Current stable version is 0.13.1. See http://www.cs.mu.oz.au/research/mercury/download/release-0.13.html for release notes and changelog. - If for any reason the 0.13.1 can't be packaged for Ubuntu it is probably - better to package the old stable 0.11.0 release and not a ROTD. + If for any reason the 0.13.1 can't be packaged for Ubuntu it is probably better to package the old stable 0.11.0 release and not a ROTD. + -- --- ** Tags added: packaging ** Description changed: Taken from the website: «Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.» + URL: http://www.cs.mu.oz.au/research/mercury/download.html - License: The Mercury compiler is free software, and is distributed under the terms of the GNU General Public License., GPLv2 according to COPYING file in the archive provided in the designated URL + + License: The Mercury compiler is free software, and is distributed + under the terms of the GNU General Public License., GPLv2 according to + COPYING file in the archive provided in the designated URL + Notes (previous text on this bug report): + -- --- Binary package hint: mercury The currently packaged mercury is version 0.11.0.rotd.20040511, not the latest and not a stable one. rotd means release of the day, also know as daily snapshot. Current stable version is 0.13.1. See http://www.cs.mu.oz.au/research/mercury/download/release-0.13.html for release notes and changelog. If for any reason the 0.13.1 can't be packaged for Ubuntu it is probably better to package the old stable 0.11.0 release and not a ROTD. -- --- ** Changed in: mercury (Ubuntu) Status: Invalid = New -- [needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 https://bugs.launchpad.net/bugs/94720 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
