Skip to content

[ci] Update nix commit

Allan Blanchard requested to merge update/blanchard/nix/commit into master

Custom versions:

  • update Alt-Ergo -> 2.4.2
  • add Alt-Ergo dep: ocplib-simplex
  • remove: camlzip
  • remove: menhirLib
  • remove: ppxlib
  • remove: psmt2-frontend

Nix:

  • add native inputs for Why3, AE and Bisect
Edited by Allan Blanchard

Merge request reports