coq-mathcomp/etc/utils/ssrcoqdep, branch master Library of mathematical components formalized in Coq Remove compatibility with Coq.8.4 (and compatibility hacks that went with it) 2017-10-23T13:54:07+00:00 Cyril Cohen 2017-10-23T13:52:09+00:00 dd730ed0569d57944435b6bb599bffd8c382c126 






do not use `sed -i' in ssrcoqdep -- this is not portable
2016-01-06T06:19:48+00:00

Pierre-Yves Strub

2016-01-06T06:17:24+00:00

ab782048a148271919ed2e11debff674892f4c95

This prevents compilation of ssreflect on OS-X/*BSD.





This prevents compilation of ssreflect on OS-X/*BSD.







patch ssrcoqdep
2015-07-21T13:08:17+00:00

Cyril Cohen

2015-07-21T13:08:17+00:00

d410a44b96d72ee49eced1af590bae54e9a42bd7












Updating files + reorganizing everything
2015-07-17T16:03:31+00:00

Cyril Cohen

2015-07-17T16:03:31+00:00

532de9b68384a114c6534a0736ed024c900447f9