bump boost version from 185 to 186

Author: FelixUhle

prolead.nix

@@ -4,7 +4,7 @@
   fetchFromGitHub,
   pkg-config,
   gnumake,
-  boost185,
+  boost186,
   flint,
   python310,
   catch2,
@@ -33,7 +33,7 @@ stdenv.mkDerivation {
 
   # Required at runtime
   buildInputs = [
-    (boost185.override {
+    (boost186.override {
       enablePython = true;
       python = python310;
     })

shell.nix

@@ -9,7 +9,7 @@ pkgs.mkShell {
     gcc
   ];
   buildInputs = with pkgs; [
-    (boost185.override {
+    (boost186.override {
       enablePython = true;
       python = python310;
     })