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

Move-and-rename opam files to the root folder

2018-12-20T18:38:50+00:00

* (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

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.

fix opam packager script + dependencies

2018-04-24T13:40:01+00:00

Remove compatibility with Coq.8.4 (and compatibility hacks that went with it)

2017-10-23T13:54:07+00:00

fixed homepage

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

fix coq version

2017-10-19T18:51:21+00:00

update the opam description for use in coq.8.7

2017-09-13T21:08:41+00:00

fix local opam file

2016-03-03T13:53:48+00:00

removing mathcomp dir when removing ssreflect

2015-12-26T18:41:21+00:00

switch ":" to "-"

2015-12-13T00:07:33+00:00