pkgs/development/coq-modules/Verdi/default.nix

   1 { lib, mkCoqDerivation, coq, Cheerios, InfSeqExt, ssreflect, version ? null }:
   2
   3
   4 with lib; mkCoqDerivation {
   5   pname = "verdi";
   6   owner = "uwplse";
   7   inherit version;
   8   defaultVersion = with versions; switch coq.coq-version [
   9     { case = isGe "8.7"; out = "20200131"; }
  10     { case = isEq "8.6"; out = "20181102"; }
  11   ] null;
  12   release."20200131".rev    = "fdb4ede19d2150c254f0ebcfbed4fb9547a734b0";
  13   release."20200131".sha256 = "1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
  14   release."20181102".rev    = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
  15   release."20181102".sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z";
  16
  17   propagatedBuildInputs = [ Cheerios InfSeqExt ssreflect ];
  18   preConfigure = "patchShebangs ./configure";
  19 }