coq-mathcomp/mathcomp/ssreflect/descr, branch master Library of mathematical components formalized in Coq switching to opam 2.0 format 2019-04-08T15:59:44+00:00 Cyril Cohen 2019-04-08T15:45:16+00:00 78b4d07568d5df23bd684e4b21ba63e9920debaa 






fix coq-mathcomp-ssreflect opam package description
2015-12-04T13:30:03+00:00

Enrico Tassi

2015-12-04T13:30:03+00:00

e6076b24bd95046f82f84c21f205388c17d2e7c8












make the opam package meta data
2015-07-22T11:11:18+00:00

Cyril Cohen

2015-07-22T11:11:18+00:00

80471736932aee0a4287345ea8ffb10ca42b7165