coq-mathcomp/mathcomp/algebra/opam, branch master Library of mathematical components formalized in Coq Move-and-rename opam files to the root folder 2018-12-20T18:38:50+00:00 Erik Martin-Dorel 2018-12-20T16:36:24+00:00 1046da99d22462d6aeb23dd12043c2537f47abf1 * (Update make's path accordingly) * This patch is required for opam 2.0 pinning * As a result, these *.opam files are now similar to the opam files in https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-mathcomp-*/coq-mathcomp-*.dev/ 
* (Update make's path accordingly)
* This patch is required for opam 2.0 pinning
* As a result, these *.opam files are now similar to the opam files in
  https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-mathcomp-*/coq-mathcomp-*.dev/
[opam]: add dev-repo links 2018-10-03T11:32:13+00:00 Anton Trunov 2018-10-01T17:22:50+00:00 257be4862014443c834a4113872516d77a412c2f This commit fixes the following issue: ```shell $ opam pin add coq-mathcomp-ssreflect --dev [ERROR] "dev-repo" field missing in coq-mathcomp-ssreflect metadata, you'll need to specify the pinning location ``` This commit also changes http to https for the homepage links. 
This commit fixes the following issue:
```shell
$ opam pin add coq-mathcomp-ssreflect --dev
[ERROR] "dev-repo" field missing in coq-mathcomp-ssreflect metadata,
you'll need to specify the pinning location
```
This commit also changes http to https for the homepage links.
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 fingroup and algebra
2015-03-19T14:51:00+00:00

Cyril Cohen

2015-03-19T14:51:00+00:00

0d2a1e7388d45776700c4400781e1aa71a0f0060

The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)





The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)