[Barrelfish-users] [Barrelfish] Barrelfish repository

Simon Peter speter at inf.ethz.ch
Fri May 20 23:43:45 CEST 2011

> FWIW, here is a patch which works with GHC 7.0.x and greater.

Thanks a lot! I will apply this to the development tree and it will go 
in the next release.

We are working on making a public source repository available real soon 
now. This will streamline the process of incorporating contributions to 
the project. Stay tuned!

  -- Simon

More information about the Barrelfish-users mailing list