Stream: GraphTheory

Topic: Opam Installation


view this post on Zulip Raul (May 13 2022 at 12:46):

Hi,
I'm curious about the library but it seems I'm having compatibility problems when installing with opam.
If I try to manually install it from git it also crashes. (I've got the fourcolor theorem package and the builtin-mccs+glpk solver)
What sould I do?

view this post on Zulip Karl Palmskog (May 13 2022 at 12:47):

which version of coq-graph-theory are you trying to install? And what Coq version are you using?

view this post on Zulip Raul (May 13 2022 at 12:52):

My Coq version is 8.14.0 and I'm trying to install from here (following the installation instructions, not sure which versions is it):
https://github.com/coq-community/graph-theory

view this post on Zulip Karl Palmskog (May 13 2022 at 12:53):

I'm not sure the Git repo supports Coq 8.14. The only stable version currently known to work is 8.13.2

view this post on Zulip Karl Palmskog (May 13 2022 at 12:54):

8.15 might work, but I wouldn't count on it.

view this post on Zulip Raul (May 13 2022 at 12:55):

I'll check it, thanks!

view this post on Zulip Olivier Laurent (May 13 2022 at 12:57):

It works for me with Coq 8.15.1 installed via opam, and coq-graph-theory installed from github but using the branch mc-1.13+1.14.

view this post on Zulip Karl Palmskog (May 13 2022 at 13:47):

I think the project is in need of some maintenance and a release... I'll try to figure something out next week assuming the maintainer is fine with it.

view this post on Zulip Christian Doczkal (May 23 2022 at 13:16):

It's great to see that there is some interest in the library. Unfortunately, I was quite preoccupied last week, but I will try to make a maintenance release soon.


Last updated: Feb 06 2023 at 05:03 UTC