Skip to content
Snippets Groups Projects
Commit 8880634d authored by David Bühler's avatar David Bühler
Browse files

[dev] Removes zmq from the reference configuration.

parent 8748c3c8
No related branches found
No related tags found
No related merge requests found
......@@ -18,7 +18,6 @@ support libraries (notably gtksourceview). lablgtk3 should be preferred.
- why3.1.4.0
- yojson.1.7.0
- zarith.1.12
- zmq.5.1.5 (for server, optional)
[^gcc-10]: As mentioned in this [OCaml PR](https://github.com/ocaml/ocaml/issues/9144)
gcc 10 changed its default linking conventions to make them more stringent,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment