anneal.git 
eltron.git 
slipway.git 
libnss-afs.git 
fleet.git 
wix.git 
nestedvm.git 
unicode2tex.git 
coq-hetmet.git 
rsa2client.git 
jrx.git 
org.ibex.arenaj.git 
org.ibex.classgen.git 
org.ibex.core.git 
org.ibex.crypto.git 
org.ibex.gcclass.git 
org.ibex.io.git 
org.ibex.jetty.git 
org.ibex.jinetd.git 
org.ibex.js.git 
org.ibex.mail.git 
org.ibex.nanogoat.git 
org.ibex.net.git 
org.ibex.tool.git 
org.ibex.util.git 
org.ibex.widgets.git 
org.ibex.xt.git 
org.ibex.wildebeest.git 
org.ibex.xt-crawshaw.git 
bicat.git 
ghc-hetmet.git 
coq-categories.git 
ghc-base.git 
haskell-directory.git 
ghc-prim.git 
coinductive-monad.git 
sbp.git