Hi Don, On Wed, Jul 14, 2010 at 5:49 PM, Don Stewart <dons at galois.com> wrote: > dons: >> >> 3rd party >> * cgi bumped > > Unbumped. The author added MonadCatch-IO-mtl as a dependency, which > isn't part of the platform. > Tested successfully on Ubuntu 10.04, both 32-bit and 64-bit. Should we make a table with platforms and status? Paulo