Dependencies for free-theorems-0.2.1

library