Added flint version numbers.