coq-mathcomp/mathcomp/odd_order/opam, branch master Library of mathematical components formalized in Coq move odd_order to its own repository 2018-04-17T14:57:13+00:00 Enrico Tassi 2018-04-17T14:57:13+00:00 eaa90cf9520e43d0b05fc6431a479e6b9559ef0e 






fixed homepage
2017-10-19T20:17:14+00:00

Cyril Cohen

2017-10-19T20:17:14+00:00

42da1892c314e8faa545ce4657ec8633501eccd7












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 odd_order
2015-04-09T13:47:46+00:00

Cyril Cohen

2015-04-09T11:54:58+00:00

c8b1f9899665886b7bd0c7a25237d8e99afcced7