[needs-packaging] Mercury (the compiler, NOT the messenger!) stable version 0.13.1

Bug #94720 reported by Pierre Buyle
26
This bug affects 3 people
Affects Status Importance Assigned to Milestone
Debian
Fix Released
Unknown
mercury (Ubuntu)
In Progress
Wishlist
Unassigned

Bug 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.
------ " -------

Revision history for this message
Óscar Rodríguez Ríos (ingorr01) wrote :

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

Changed in mercury:
status: Unconfirmed → Rejected
Revision history for this message
Pierre Buyle (mongolito404) wrote :

Filling a bug for upgrade request was the procedure documented on the Ubuntu-fr (French LoCoTeam) documentation site (http://doc.ubuntu-fr.org/tutoriel/demande_mise_a_jour_paquet).

There is several other upgrade request accepted as bug, see https://bugs.launchpad.net/ubuntu/+bugs?field.tag=upgrade

Revision history for this message
Pedro Francisco (pedrogfrancisco) wrote :

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. (...)"

description: updated
description: updated
Changed in mercury:
status: Invalid → New
Revision history for this message
Pedro Francisco (pedrogfrancisco) wrote : Re: Mercury (the compiler, NOT the messenger!) stable version 0.13.1
Download full text (3.4 KiB)

Found more license info, snippet from README:

» This directory contains the source distribution for the University of Melbourne
» Mercury compiler, version 0.13.1.
»
» The Mercury implementation is free software, but it is Copyright
» (C) 1993-2006 The University of Melbourne. It is distributed
» under the terms of the GNU General Public License. See the file
» COPYING for copying permission.
»
» The Mercury library and runtime (the files in the library and
» runtime subdirectories) are distributed under the terms of the
» GNU Library General Public License. See the file COPYING.LIB for
» copying permissions for those files.
»
» If those licencing arrangements are not satisfactory, please
» contact us! We are willing to offer alternative arrangements,
» if the need should arise.
»
» The subdirectory `boehm_gc' contains a slightly modified copy of
» version 6.5 of the conservative garbage collector distributed
» by Hans Boehm:
»
» Copyright 1988, 1989 Hans-J. Boehm, Alan J. Demers
» Copyright (c) 1991-1995 by Xerox Corporation. All rights reserved.
» Copyright (c) 1996-1999 by Silicon Graphics. All rights reserved.
» Copyright (c) 1999-2001 by Hewlett-Packard. All rights reserved.
»
» THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY
» EXPRESSED OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
»
» Permission is hereby granted to use or copy this program for any
» purpose, provided the above notices are retained on all copies.
» Permission to modify the code and to distribute modified code is
» granted, provided the above notices are retained, and a notice
» that the code was modified is included with the above copyright
» notice.
»
» A few files (config.guess, config.sub) are derived from code that is
» copyright by the Free Software Foundation, Inc, and are distributed
» under the GNU General Public License version 2.
»
» The program `texi2html' in the `doc' directory is copyright by CERN
» and is distributed under the GNU General Public
» License version 2:
»
» This program is the intellectual property of the European
» Laboratory for Particle Physics (known as CERN). No guarantee
» whatsoever is provided by CERN. No liability whatsoever is
» accepted for any loss or damage of any kind resulting from any
» defect or inaccuracy in this information or code.
»
» The files in the `samples' directory are either public domain, or
» distributed under the GNU General Public License.
»

------------------- The next text applies do a different source package, which we should not want to package, but stays here for reference -------------------

» Some of the files in the `extras' subdirectory (which is now distributed
» separately in the `mercury-extras' package) have fairly restrictive
» copyright licences:
»
» The `Togl' library in extras/graphics/mtogl/togl.* is copyright by
» Brian Paul and Ben Bederson; see the file
» extras/graphics/mtogl/LICENSE.TOGL.
»
» The Tk files in extras/graphics/mtogl/tk.* are copyright
» by the Regents of the University of California,
» Sun Microsystems, Inc., and other parties.
» See the file extras/graphics/mtogl/LICENSE.TK.
»
» THIS MATERIAL IS PROVI...

Read more...

Changed in mercury:
importance: Undecided → Wishlist
Revision history for this message
Craig Silk (csilk) wrote :

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.

Revision history for this message
Craig Silk (csilk) wrote :

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:
status: New → Confirmed
Revision history for this message
Craig Silk (csilk) wrote :

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:
assignee: nobody → csilk
status: Confirmed → In Progress
Revision history for this message
Craig Silk (csilk) wrote :

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:
assignee: csilk → nobody
status: In Progress → Confirmed
Revision history for this message
Dave Walker (davewalker) wrote :

Contacted upstream via email requesting status update.

Revision history for this message
William Grant (wgrant) wrote :

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.

Changed in debian:
status: Unknown → New
Revision history for this message
Dave Walker (davewalker) wrote :

I should have commented previously, but upstream did reply that this was essentially the case. :)

Artur Rona (ari-tczew)
tags: added: upgrade
Revision history for this message
Artur Rona (ari-tczew) wrote :

# 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
Artur Rona (ari-tczew)
Changed in debian:
importance: Unknown → Undecided
status: New → Invalid
Revision history for this message
William Grant (wgrant) wrote :

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
status: Invalid → Unknown
Changed in mercury (Ubuntu):
status: Invalid → Triaged
Changed in debian:
status: Unknown → New
Revision history for this message
Zoubidoo (zoubidoo) wrote :

Could someone tell me whether packaging is still planned? It would be good to have this in Ubuntu.

Revision history for this message
Zoubidoo (zoubidoo) wrote :

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

Changed in mercury (Ubuntu):
status: Triaged → In Progress
Changed in mercury (Ubuntu):
status: In Progress → Confirmed
Revision history for this message
Andreas Altaïr Redmer (altair-ibn-la-ahad) wrote :

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: nobody → Andreas Altaïr Redmer (altair-ibn-la-ahad)
Changed in mercury (Ubuntu):
status: Confirmed → In Progress
Revision history for this message
Andreas Altaïr Redmer (altair-ibn-la-ahad) wrote :

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) → nobody
Changed in debian:
status: New → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.