Hello everyone, when I try to install coq-equations with opam, it tells me `coq >= dev`

is missing.

I suppose it's what you recommend doing in the github page for installing coq-equations in the line

```
opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
```

However, coq.inria.fr has been down at least since friday and I'm not sure how long it can take for it to be up again, and I'm in just a bit of a hurry.

I was hoping some of you would know how to circumvent this problem. Stuff like the wayback machine has a snapshot of coq.inria.fr from thursday but doesn't have any of specifically https://coq.inria.fr/opam/core-dev.

Thanks in advance for any help!

(Also I'm new to zulip so I hope I'm respecting the guidelines and doing everything as intended, I'm a bit confused by how this works at this moment. You may tell me if I'm doing otherwise. Cheers!)

see this post for how to use a local clone of the opam repo: https://github.com/coq/opam-coq-archive

Thanks for the quick reply! I see this has been a problem for others as well.

Last updated: Oct 13 2024 at 01:02 UTC