<html> <head> <style></style> </head> <body class='hmmessage'> Thanks for your reply Paul. > From: pbone@csse.unimelb.edu.au > On Wed, Jun 16, 2010 at 12:14:15AM +1200, Parker Jones wrote: > > > > Hello, > > > > Are there any plans to release a Mercury debian package? Last time I installed, it took several hours to compile which is a bit of a barrier to entry. I wonder how many users would benefit from it being packaged? > > > > Mercury has been packaged before, so perhaps it could be quite painless... > > http://packages.ubuntu.com/dapper/mercury > > http://packages.ubuntu.com/hardy/mercury > > > > I've started work on a Debian package, but unfortunatly I don't have much spare > time to work on this. I definitly agree that it would be useful. > > See: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=379682 From the above link I understand you want to create many debian packages (for the different grades). This is perhaps useful but more complicated and time-consuming. Wouldn't it be easier to simply package it exactly as it was before and get it out of the door. Then when someone has time the packaging could be developed further. Would really love to just type: apt-get install mercury Cheers, Parker <hr />Download the new Windows Live <a href='http://download.live.com' target='_new'>Looking for a place to manage all your online stuff?</a></body> </html>