Bug#324859: marked as done (mlton: uninstallable because of dependency to libgmp3)

2005-09-01 Thread Debian Bug Tracking System
Your message dated Thu, 01 Sep 2005 02:32:06 -0700 with message-id [EMAIL PROTECTED] and subject line Bug#324859: fixed in mlton 20050901-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now

Bug#324859: marked as done (mlton: uninstallable because of dependency to libgmp3)

2005-08-24 Thread Debian Bug Tracking System
Your message dated Wed, 24 Aug 2005 21:17:08 -0700 with message-id [EMAIL PROTECTED] and subject line Bug#324859: fixed in mlton 20050824-1 has caused the attached Bug report to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now