<div dir="ltr"><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">Is anyone interested in taking any of these over? I was recently in contact with jockey and he said he is no longer active in the community and does not plan to maintain any of his builds anymore. I don't mind taking over all of them, but if someone is really interested in taking some of them that works too. ;-)</div>

<div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)"><br></div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

Here is the list:</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)"><br></div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

development/alloy</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">development/bigloo</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

development/gauche</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">development/groovy</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

development/mcrl2<br></div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">development/mit-scheme</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

development/mlton</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">development/smalltalk</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

development/spin<br></div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">libraries/ocaml-batteries</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

libraries/ocaml-camomile</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">libraries/ocaml-findlib</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

libraries/ocaml-ounit</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)"><br></div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

cheers!</div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)"><br></div><div class="gmail_default" style="font-family:'courier new',monospace;font-size:large;color:rgb(0,0,0)">

ryan</div><div><div dir="ltr"><font face="courier new, monospace">-</font><div><font face="courier new, monospace">--<br></font><div><font face="courier new, monospace">---</font></div><div><font face="courier new, monospace"><<a href="http://ryanpcmcquen.com" target="_blank">ryanpcmcquen.com</a>></font></div>

</div></div></div>
</div>