coq-mathcomp/mathcomp/real_closed/opam, branch master

coq-mathcomp/mathcomp/real_closed/opam, branch master Library of mathematical components formalized in Coq Moving real_closed to another repo 2018-04-18T08:49:18+00:00 Cyril Cohen 2018-04-17T15:00:15+00:00 13479422b0286c86d0888e06aba112153ca6314d

fixed homepage 2017-10-19T20:17:14+00:00 Cyril Cohen 2017-10-19T20:17:14+00:00 42da1892c314e8faa545ce4657ec8633501eccd7

removing trailing whitespaces in opam file 2015-12-13T00:49:48+00:00 Cyril Cohen 2015-12-13T00:49:48+00:00 e4714f6a9334c321ebf8c29f576f6e35c290261f

changing dependency 2015-12-13T00:31:31+00:00 Cyril Cohen 2015-12-13T00:31:31+00:00 d37638edddb64330ada5e6be7936afc42385d151

switch ":" to "-" 2015-12-13T00:07:33+00:00 Cyril Cohen 2015-12-12T16:43:05+00:00 4db6c583711dfe8e9c7285e630bfb0cf8f33c0a6

remove duplicate fields 2015-07-22T11:20:36+00:00 Cyril Cohen 2015-07-22T11:20:36+00:00 32e4af573f80d4387aa26d12a7f80f6660d9b50d

update opam meta-data 2015-07-21T15:09:59+00:00 Cyril Cohen 2015-07-21T15:09:59+00:00 663721c0c431bb4b7a903082edd42c28407ffe91

packaging real_closed 2015-03-25T08:52:24+00:00 Cyril Cohen 2015-03-25T08:52:24+00:00 821071c3ba30ad4ad9bb05b928b8bbf8dc2f85a2