diff options
Diffstat (limited to 'pkgs/development/coq-modules/serapi/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/serapi/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix index acb7b11c4c3..ca50f35646b 100644 --- a/pkgs/development/coq-modules/serapi/default.nix +++ b/pkgs/development/coq-modules/serapi/default.nix @@ -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 ] |