coqPackages.iris-named-props: new expression (#263100)

{ lib, mkCoqDerivation, coq, version ? null, iris }:

mkCoqDerivation rec {

  pname = "iris-named-props";

  owner = "tchajed";

  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.version [

    { case = range "8.16" "8.18";  out = "2023-08-14"; }

  ] null;

  release."2023-08-14".sha256 = "sha256-gu9qOdHO0qJ2B9Y9Vf66q08iNJcfuECJO66fizFB08g=";

  release."2023-08-14".rev = "ca1871dd33649f27257a0fbf94076acc80ecffbc";

  propagatedBuildInputs = [ iris ];

  meta = {

    description = "Named props for Iris";

    maintainers = with lib.maintainers; [ ineol ];

  };

}

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

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

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

      iris-named-props = callPackage ../development/coq-modules/iris-named-props {};

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

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

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