coqPackages.fcsl-pcm: init at 2.2.0

{

  lib,

  mkCoqDerivation,

  coq,

  mathcomp-algebra,

  stdlib,

  version ? null,

}:

mkCoqDerivation {

  pname = "fcsl-pcm";

  owner = "imdea-software";

  inherit version;

  defaultVersion =

    let

      case = coq: mc: out: {

        cases = [

          coq

          mc

        ];

        inherit out;

      };

    in

    with lib.versions;

    lib.switch

      [ coq.coq-version mathcomp-algebra.version ]

      [

        (case (range "9.0" "9.0") (range "2.4.0" "2.4.0") "2.2.0")

      ]

      null;

  release."2.2.0".sha256 = "sha256-VnfK+RHWiq27hxEJ9stpVp609/dMiPH6UHFhzaHdAnM=";

  releaseRev = v: "v${v}";

  propagatedBuildInputs = [

    mathcomp-algebra

    stdlib

  ];

  meta = with lib; {

    description = "Coq library of Partial Commutative Monoids";

    license = licenses.asl20;

    maintainers = [ maintainers.proux01 ];

  };

}

      equations = callPackage ../development/coq-modules/equations { };

      ExtLib = callPackage ../development/coq-modules/ExtLib { };

      extructures = callPackage ../development/coq-modules/extructures { };

      fcsl-pcm = callPackage ../development/coq-modules/fcsl-pcm { };

      flocq = callPackage ../development/coq-modules/flocq { };

      fourcolor = callPackage ../development/coq-modules/fourcolor { };

      gaia = callPackage ../development/coq-modules/gaia { };