From 8211d385697407c47a17681e37a2de1368e45a9e Mon Sep 17 00:00:00 2001
From: genotrance <dev@genotrance.com>
Date: Sat, 25 Jul 2020 01:16:25 -0500
Subject: [PATCH] Bump nimble commit (#15053)

---
 koch.nim | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/koch.nim b/koch.nim
index 7dedb039a..1d1fdf997 100644
--- a/koch.nim
+++ b/koch.nim
@@ -10,11 +10,11 @@
 #
 
 const
-  NimbleStableCommit = "63695f490728e3935692c29f3d71944d83bb1e83" # master
+  NimbleStableCommit = "e5d340df8cf26f89ad2c9f0bc081ecd7e0323b0a" # master
 
 when not defined(windows):
   const
-    Z3StableCommit = "65de3f748a6812eecd7db7c478d5fc54424d368b" # the version of Z3 that DrNim uses
+    Z3StableCommit = "65de3f748a6812eecd7db7c478dcd5fc54424d368b" # the version of Z3 that DrNim uses
 
 when defined(gcc) and defined(windows):
   when defined(x86):