All dependents of clj-formal-specifications