2007-03-22 10:49:28 |
Pierre Buyle |
bug |
|
|
added bug |
2007-03-22 11:12:25 |
Óscar Rodríguez Ríos |
mercury: status |
Unconfirmed |
Rejected |
|
2007-03-22 11:12:25 |
Óscar Rodríguez Ríos |
mercury: statusexplanation |
|
This forum is to report bugs, not to submit petitions.
To submit petitions or sugestions please go to https://blueprints.launchpad.net/
Thanks for the sugestion, but this is not the right place.
BestrRegards,
neuromancer |
|
2008-07-17 19:41:57 |
Pedro Francisco |
description |
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. |
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.
------ " ------- |
|
2008-07-17 19:41:57 |
Pedro Francisco |
title |
Upgrade mercury to stable release, possibly latest. |
[needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 |
|
2008-07-17 19:42:22 |
Pedro Francisco |
description |
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.
------ " ------- |
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.
------ " ------- |
|
2008-07-17 19:43:57 |
Pedro Francisco |
mercury: status |
Invalid |
New |
|
2008-07-17 19:51:18 |
Pedro Francisco |
title |
[needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 |
Mercury (the compiler, NOT the messenger!) stable version 0.13.1 |
|
2008-08-22 21:21:35 |
Ubuntu Foundations Team Bug Bot |
title |
Mercury (the compiler, NOT the messenger!) stable version 0.13.1 |
[needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1 |
|
2008-08-29 18:04:31 |
Siegfried Gevatter |
mercury: importance |
Undecided |
Wishlist |
|
2008-08-29 18:04:31 |
Siegfried Gevatter |
mercury: statusexplanation |
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. (...)" |
|
|
2008-10-13 21:01:22 |
Craig Silk |
mercury: status |
New |
Confirmed |
|
2008-10-13 23:39:30 |
Craig Silk |
mercury: status |
Confirmed |
In Progress |
|
2008-10-13 23:39:30 |
Craig Silk |
mercury: assignee |
|
csilk |
|
2008-11-18 19:01:16 |
Craig Silk |
mercury: assignee |
csilk |
|
|
2008-11-18 19:01:16 |
Craig Silk |
mercury: statusexplanation |
|
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. |
|
2008-11-18 19:01:31 |
Craig Silk |
mercury: status |
In Progress |
Confirmed |
|
2008-11-18 19:01:31 |
Craig Silk |
mercury: statusexplanation |
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. |
|
|
2009-07-31 07:12:22 |
William Grant |
bug watch added |
|
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=538802 |
|
2009-07-31 07:12:22 |
William Grant |
bug task added |
|
debian |
|
2009-07-31 08:00:21 |
Bug Watch Updater |
debian: status |
Unknown |
New |
|
2009-08-20 16:13:28 |
Artur Rona |
tags |
needs-packaging |
needs-packaging upgrade |
|
2009-08-29 00:06:32 |
Artur Rona |
mercury (Ubuntu): status |
Confirmed |
Invalid |
|
2009-08-29 00:24:06 |
Artur Rona |
debian: importance |
Unknown |
Undecided |
|
2009-08-29 00:24:06 |
Artur Rona |
debian: remote watch |
Debian Bug tracker #538802 |
|
|
2009-08-29 00:24:15 |
Artur Rona |
debian: status |
New |
Invalid |
|
2009-08-29 00:33:59 |
William Grant |
debian: importance |
Undecided |
Unknown |
|
2009-08-29 00:33:59 |
William Grant |
debian: status |
Invalid |
Unknown |
|
2009-08-29 00:33:59 |
William Grant |
debian: remote watch |
|
Debian Bug tracker #538802 |
|
2009-08-29 00:34:10 |
William Grant |
mercury (Ubuntu): status |
Invalid |
Triaged |
|
2009-10-07 23:11:12 |
Bug Watch Updater |
debian: status |
Unknown |
New |
|
2011-01-20 18:40:50 |
Pedro Francisco |
removed subscriber Pedro Francisco |
|
|
|
2011-11-29 22:09:39 |
Vadim Rutkovsky |
mercury (Ubuntu): status |
Triaged |
In Progress |
|
2013-10-09 07:20:35 |
Thomas Hotz |
mercury (Ubuntu): status |
In Progress |
Confirmed |
|
2013-10-09 07:20:37 |
Thomas Hotz |
bug |
|
|
added subscriber Thomas Hotz |
2014-04-27 02:10:28 |
Andreas Altaïr Redmer |
mercury (Ubuntu): assignee |
|
Andreas Altaïr Redmer (altair-ibn-la-ahad) |
|
2014-04-27 13:55:01 |
Andreas Altaïr Redmer |
mercury (Ubuntu): status |
Confirmed |
In Progress |
|
2014-06-09 14:50:20 |
Andreas Altaïr Redmer |
mercury (Ubuntu): assignee |
Andreas Altaïr Redmer (altair-ibn-la-ahad) |
|
|
2018-07-11 10:53:36 |
Bug Watch Updater |
debian: status |
New |
Fix Released |
|