Commit 09df8797 authored by Yifei Sun's avatar Yifei Sun Committed by Vincent Laporte
Browse files

coqPackages.coq-record-update: 0.3.5 -> 0.3.6

parent e06828c5

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

+2 −1
Original line number Diff line number Diff line
@@ -15,9 +15,10 @@ mkCoqDerivation { 
    in

    with lib.versions;

    lib.switch coq.coq-version [

      (case (range "8.14" "9.1") "0.3.5")

      (case (range "8.14" "9.1") "0.3.6")

      (case (range "8.10" "9.1") "0.3.4")

    ] null;

  release."0.3.6".sha256 = "sha256-Sd9cmRPb/0MDlR9mzbFrrF9ifP/2vd0KG6u5fGOydds=";

  release."0.3.5".sha256 = "sha256-n2HjGD45Ikwhle8jKjum+Hv+4WrpEqKEbJ6iKfwlQKw=";

  release."0.3.4".sha256 = "sha256-AhEcugUiVIsgbq884Lur/bQIuGw8prk+3AlNkP1omcw=";

  release."0.3.3".sha256 = "sha256-HDIPeFHiC9EwhiOH7yMGJ9d2zJMhboTpRGf9kWcB9Io=";