coq-mathcomp/mathcomp/attic/Makefile, branch master Library of mathematical components formalized in Coq remove the attic/ directory 2018-04-20T12:17:38+00:00 Enrico Tassi 2018-04-20T12:17:38+00:00 dcc7917ac5d66472f751ebbd31b7b63db5465303 






fix building with make flags
2017-10-10T11:23:30+00:00

Ralf Jung

2017-10-10T11:23:30+00:00

e888516870ef592d0f7da74f8138e478d6114b05

Fixes #139





Fixes #139







Using the From X Require Y for v8.4
2015-04-09T11:53:46+00:00

Cyril Cohen

2015-04-09T11:53:46+00:00

634ee874ec11a5a90617ca5723228d4de1fe479c












makefiles that are version dependent
2015-04-08T11:38:41+00:00

Cyril Cohen

2015-04-08T11:38:41+00:00

737f79e968a4832d15f6eb93b5bf24c0267fbecb