Dependencies for free-theorems-0.3.1.1

library