CorsixTH  [dependees]  Nick Smallbone <nick@smallbone.se>
cvc4  [dependees]  Nick Smallbone <nick@smallbone.se>
eprover  [dependees]  Nick Smallbone <nick@smallbone.se>
ocaml-num  [dependees]  Nick Smallbone <nick@smallbone.se>
python-faulthandler  [dependees]  Nick Smallbone <nick@smallbone.se>
quodlibet  [dependees]  Nick Smallbone <nick@smallbone.se>
swi-prolog  [dependees]  Nick Smallbone <nick@smallbone.se>
xfce4-datetime-plugin  [dependees]  Nick Smallbone <nick@smallbone.se>
z3  [dependees]  Nick Smallbone <nick@smallbone.se>
zeal  [dependees]  Nick Smallbone <nick@smallbone.se>