{
  lib,
  mkCoqDerivation,
  coq,
  version ? null,
  ssreflect,
  stdlib,
}:

mkCoqDerivation {
  pname = "deriving";
  owner = "arthuraa";

  inherit version;
  defaultVersion =
    let
      case = coq: mc: out: {
        cases = [
          coq
          mc
        ];
        inherit out;
      };
    in
    with lib.versions;
    lib.switch
      [ coq.coq-version ssreflect.version ]
      [
        (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.2.2")
        (case (range "8.17" "9.0") (range "2.0.0" "2.3.0") "0.2.1")
        (case (range "8.17" "8.20") (range "2.0.0" "2.2.0") "0.2.0")
        (case (range "8.11" "8.20") (isLe "2.0.0") "0.1.1")
      ]
      null;

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

  release."0.2.2".sha256 = "sha256-qsbyQ4spg5vVLZkechb2LoBazGjMh7pR9sSS0s7tXxs=";
  release."0.2.1".sha256 = "sha256-053bNa3rcy0fCs9CQoKPxDLXnKRHzteyClLDURpaZJo=";
  release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";
  release."0.1.1".sha256 = "sha256-Gu8aInLxTXfAFE0/gWRYI046Dx3Gv1j1+gx92v/UnPI=";
  release."0.1.0".sha256 = "sha256:11crnjm8hyis1qllkks3d7r07s1rfzwvyvpijya3s6iqfh8c7xwh";

  propagatedBuildInputs = [
    ssreflect
    stdlib
  ];

  mlPlugin = true;

  meta = {
    description = "Generic instances of MathComp classes";
    license = lib.licenses.mit;
    maintainers = [ lib.maintainers.vbgl ];
  };

}