alt-ergo lucid 3.11.1 0.9-1build1
approx lenny 3.10 3.3.0
approx lucid 3.11 4.1-1build1
clang testing 3.11.2 2.6-3
clang unstable 3.11.2 2.6-3
confluence lenny 3.10 0.10.6-5
confluence lucid 3.10 0.10.6-7
confluence testing 3.10 0.10.6-7
confluence unstable 3.10 0.10.6-7
edos-debcheck lenny 3.10 1.0-6
freetennis lenny 3.10.0 0.4.8-5
freetennis lucid 3.11.0 0.4.8-7
freetennis unstable 3.11.0 0.4.8-7
laby lucid 3.11.1 0.5.5-1build1
laby testing 3.11.1 0.5.5-1
laby unstable 3.11.1 0.5.5-1
llvm-snapshot unstable 3.11.2 20100418-1
matita lenny 3.10.2 0.5.3-1
matita lucid 3.10.2 0.5.8-2build2
matita testing 3.10.2 0.5.8-2
matita unstable 3.10.2 0.5.8-2
mldonkey lenny 3.10.1 2.9.5-2+lenny1
mldonkey lucid 3.11.1 3.0.1-1
mldonkey testing 3.11.1 3.0.1-1
mldonkey unstable 3.11.1 3.0.1-1
ocamldsort lenny 3.09.0 0.14.4-2
ocamldsort lucid 3.09.0 0.14.4-2build2
ocamldsort testing 3.09.0 0.14.4-2
ocamldsort unstable 3.09.0 0.14.4-2
omake lenny 3.10.0 0.9.8.5-3-4
orpie lenny 3.10.0 1.5.1-7
orpie lucid 3.10.0 1.5.1-7
orpie testing 3.10.0 1.5.1-8
orpie unstable 3.10.0 1.5.1-8
sks lenny 3.08 1.1.0-4
sks lucid 3.08 1.1.1-1ubuntu2
sks testing 3.08 1.1.1-2
sks unstable 3.08 1.1.1-2
unison lenny 3.10.0-8 2.27.57-1
unison lucid 3.10.0-8 2.27.57-2ubuntu2
unison testing 3.10.0-8 2.32.52-1
unison unstable 3.10.0-8 2.32.52-1
unison2.13.16 lenny 3.10.0-8 2.13.16-1
unison2.27.57 testing 3.10.0-8 2.27.57-2
unison2.27.57 unstable 3.10.0-8 2.27.57-2