pkgs/development/coq-modules/coq-record-update/default.nix

   1 { lib, mkCoqDerivation, coq, version ? null }:
   2
   3  mkCoqDerivation rec {
   4   pname = "coq-record-update";
   5   owner = "tchajed";
   6   inherit version;
   7   defaultVersion = with lib.versions; lib.switch coq.coq-version [
   8     { case = range "8.10" "8.18";  out = "0.3.1"; }
   9   ] null;
  10   release."0.3.1".sha256 = "sha256-DyGxO2tqmYZZluXN6Oy5Tw6fuLMyuyxonj8CCToWKkk=";
  11   release."0.3.0".sha256 = "1ffr21dd6hy19gxnvcd4if2450iksvglvkd6q5713fajd72hmc0z";
  12   releaseRev = v: "v${v}";
  13   buildFlags = [ "NO_TEST=1" ];
  14   meta = {
  15     description = "Library to create Coq record update functions";
  16     maintainers = with lib.maintainers; [ ineol ];
  17   };
  18 }