Packaging of an experimental finitely presented modules package.
update fpmods.0.1
CoqEAL packages
updating fpmods info
Merge pull request #8 from Barbichu/master

CoqEAL and fpmods packages for Coq.
Merge pull request #7 from silene/master

Coquelicot, Flocq, Interval
Update url
Delete mathcomp-1.5rc1.tar.gz
Update url
Package Coquelicot 2.0.1.