Repository obsolete ?

[ejgallego]

Dear proofeng devs, it seems this repository is obsolete now, in favor of https://github.com/coq-community/docker-coq

Would it be a good option to remove it so users googling may potentially have less source for confusion?

[palmskog]

We still have some really specific Docker images/commands here that go beyond what is offered in Coq-community. I will probably rename the repository (to say verdi-coq-docker) and move to the DistributedComponents organization.

[ejgallego]

Oh, I had a look and I didn't anything not covered by current Coq / Mathcomp images.

What do you have extra? Is something we should add upstream?

[palmskog]

Basically we have a private OPAM repo with a bunch of git packages that should be pre-populated in the images. It's not of general interest.

[ejgallego]

Ah OK, sorry; I looked at the Dockerfiles just in this repos and I didn't see the private packages.

[palmskog]

Well, it's a good point still, those Dockerfiles live in the Verdi repo and should be migrated to this repo when the repo is moved+renamed.