[mercury-users] debian packages?

[William Lee Irwin III]

Say, I noticed that there hasn't been a recent dupload of the debian
packages, and apparently something's gone wrong with the glibc version
I've upgraded to (maybe missing deps?) Any chance of a fresh dupload?

Thanks.


-- wli
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------