Dependencies for ho-rewriting-0.2

library