anchor.diff:    ]);
   
     buildPhase = ''
  -    ${bash}/bin/bash autogen.sh
  +    ${bash}/bin/bash autogen.sh || autoconf
       ${bash}/bin/bash configure --libdir=$out/lib/coq/${coq.coq-version}/user-contrib/Flocq
       ./remake
     '';
  
positive.code: 
  let params =
    if stdenv.lib.versionAtLeast coq.coq-version "8.7" then {
      version = "3.2.0";
      sha256 = "15bi36x7zj0glsb3s2gwqd4wswhfzh36rbp7imbyff53a7nna95l";
    } else {
      version = "2.6.1";
      sha256 = "1y4czkfrd8p37vwv198nns4hz1brfv71na17pxsidwpxy7qnyfw1";
    }
  ; in
  
  
negative.code:   };
  
    passthru = {
      compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" "8.12" ];
    };
  }
  