Unverified Commit cd100965 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages.autosubst-ocaml: 1.1+8.20 -> 1.1+9.0 (#443607)

parents 1fd2ac22 a246280b

pkgs/development/coq-modules/autosubst-ocaml/default.nix

+5 −0
Original line number Diff line number Diff line
@@ -9,6 +9,7 @@ mkCoqDerivation { 
  pname = "autosubst-ocaml";

  owner = "uds-psl";



  release."1.1+9.0".sha256 = "sha256-fCQjmF+0ik2QdKog61VfIv5ERmw+AJO8y5+CWmDGGk0=";

  release."1.1+8.20".sha256 = "sha256-S3uKkwbGFsvauP9lKc3UsdszHahbZQhlOOK3fCBXlSE=";

  release."1.1+8.19".sha256 = "sha256-AGbhw/6lg4GpDE6hZBhau9DLW7HVXa0UzGvJfSV8oHE=";
@@ -16,6 +17,10 @@ mkCoqDerivation { 
  defaultVersion =

    with lib.versions;

    lib.switch coq.coq-version [

      {

        case = isEq "9.0";

        out = "1.1+9.0";

      }

      {

        case = isEq "8.20";

        out = "1.1+8.20";