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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
