Skip to content
Snippets Groups Projects
Commit b6fc5025 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] Update commit + fixes 

- more recent Nix commit
- update camlp5 for OCaml 4.14
- downgrade menhir for Alt-Ergo 2.2
parent 4e265401
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment