anchor.diff:  
     configureFlags = pname;
   
  -  buildInputs = [ alt-ergo-parsers ocamlPackages.menhir ];
  +  buildInputs = [ alt-ergo-parsers ] ++ (with ocamlPackages; [
  +    cmdliner menhir ])
  +  ;
   
     meta = {
       description = "High-performance theorem prover and SMT solver";
  
positive.code: { fetchurl, lib, which, ocamlPackages }:
  
  let
    pname = "alt-ergo";
    version = "2.3.3";
  
    src = fetchurl {
      url = "https://alt-ergo.ocamlpro.com/http/alt-ergo-${version}/alt-ergo-${version}.tar.gz";
      sha256 = "124k2a4ikk4wdpmvgjpgl97x9skvr9qznk8m68dzsynzpv6yksaj";
    };
  
    useDune2 = true;
  
negative.code:   pname = "alt-ergo-lib";
    inherit version src useDune2 nativeBuildInputs;
    configureFlags = pname;
    buildInputs = with ocamlPackages; [ dune-configurator ];
    propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex stdlib-shims zarith ];
  }; in
  
  