0.9.1 release of CoqEAL (in order to compile with ssr+mathcomp 1.5 release)
enabling parallelisation on mathcomp + ssr
configurable parallelisation in CoqEAL
update fpmods
Merge pull request #11 from Barbichu/master

Fixing CoqEAL and fpmods to compile on top of ssreflect + mathcomp 1.5 release (+ parallelisation for ssr+mathcomp)
Merge pull request #10 from silene/master

Package Flocq 2.3.0 and Interval 1.0.0
Remove version 0.16.1 of interval.
Update interval 1.0.0 location and dependencies.
Add version 2.4.0 of flocq.
Add version 1.1.0 of interval.