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

let
  derivation = mkCoqDerivation {
    pname = "iris";
    domain = "gitlab.mpi-sws.org";
    owner = "iris";
    inherit version;
    defaultVersion =
      let
        case = case: out: { inherit case out; };
      in
      with lib.versions;
      lib.switch coq.coq-version [
        (case (range "8.19" "9.1") "4.4.0")
        (case (range "8.18" "8.19") "4.2.0")
        (case (range "8.16" "8.18") "4.1.0")
        (case (range "8.13" "8.17") "4.0.0")
        (case (range "8.12" "8.14") "3.5.0")
        (case (range "8.11" "8.13") "3.4.0")
        (case (range "8.9" "8.10") "3.3.0")
      ] null;
    release."4.4.0".sha256 = "sha256-zpuaIdH2ScOuZB0Vt1TEHAbsmcT1DyoDsJpftT1M7qw=";
    release."4.3.0".sha256 = "sha256-3qhjiFI+A3I3fD8rFfJL5Hek77wScfn/FNNbDyGqA1k=";
    release."4.2.0".sha256 = "sha256-HuiHIe+5letgr1NN1biZZFq0qlWUbFmoVI7Q91+UIfM=";
    release."4.1.0".sha256 = "sha256-nTZUeZOXiH7HsfGbMKDE7vGrNVCkbMaWxdMWUcTUNlo=";
    release."4.0.0".sha256 = "sha256-Jc9TmgGvkiDaz9IOoExyeryU1E+Q37GN24NIM397/Gg=";
    release."3.6.0".sha256 = "sha256:02vbq597fjxd5znzxdb54wfp36412wz2d4yash4q8yddgl1kakmj";
    release."3.5.0".sha256 = "0hh14m0anfcv65rxm982ps2vp95vk9fwrpv4br8bxd9vz0091d70";
    release."3.4.0".sha256 = "0vdc2mdqn5jjd6yz028c0c6blzrvpl0c7apx6xas7ll60136slrb";
    release."3.3.0".sha256 = "0az4gkp5m8sq0p73dlh0r7ckkzhk7zkg5bndw01bdsy5ywj0vilp";
    releaseRev = v: "iris-${v}";

    propagatedBuildInputs = [ stdpp ];

    preBuild = ''
      if [[ -f coq-lint.sh ]]
      then patchShebangs coq-lint.sh
      fi
    '';

    meta = {
      description = "Coq development of the Iris Project";
      license = lib.licenses.bsd3;
      maintainers = [
        lib.maintainers.vbgl
        lib.maintainers.ineol
      ];
    };
  };
in
# this is just a wrapper for rocqPackages.iris for Rocq >= 9.0
if coq.rocqPackages ? iris then
  coq.rocqPackages.iris.override {
    inherit version stdpp;
    inherit (coq.rocqPackages) rocq-core;
  }
else
  derivation