Commit df33946f authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.serapi: fix build with Coq 8.16

parent e97f8fec

pkgs/development/coq-modules/serapi/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -89,7 +89,7 @@ in 
    then [

      ./janestreet-0.15.patch

    ]

    else if version == "8.17.0+0.17.0"

    else if version == "8.16.0+0.16.3" || version == "8.17.0+0.17.0"

    then [

      ./janestreet-0.16.patch

    ]