From 079dc8c3a913789f05cd5d9d6c4f7f24c85ebd08 Mon Sep 17 00:00:00 2001
From: Bouke van der Bijl <i@bou.ke>
Date: Thu, 14 Apr 2022 17:20:26 +0200
Subject: [PATCH] why3: use why3.version in withProvers

I was getting an error that 'name' was not defined, which was being
caused by pname being passed in without a version.

Using the version of the why3 package resolves this.
---
 pkgs/applications/science/logic/why3/with-provers.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/applications/science/logic/why3/with-provers.nix b/pkgs/applications/science/logic/why3/with-provers.nix
index 739064bb6169..54aa22511742 100644
--- a/pkgs/applications/science/logic/why3/with-provers.nix
+++ b/pkgs/applications/science/logic/why3/with-provers.nix
@@ -13,6 +13,7 @@ let configAwkScript = runCommand "why3-conf.awk" { inherit provers; }
 in
 stdenv.mkDerivation {
   pname = "${why3.pname}-with-provers";
+  version = why3.version;
 
   nativeBuildInputs = [ makeWrapper ];
   buildInputs = [ why3 ] ++ provers;