Dependencies for Flint2-0.1.0.5

library