mozart: pin boost to boost183 (#440643)

2025-09-23 22:38:49 +00:00
parent 9867c05e09 501a82e406
commit be3c621150
1 changed files with 2 additions and 2 deletions
--- a/pkgs/development/compilers/mozart/default.nix
+++ b/pkgs/development/compilers/mozart/default.nix
@@ -5,7 +5,7 @@
  cmake,
  unzip,
  makeWrapper,
-  boost,
+  boost183,
  llvmPackages,
  gmp,
  emacs,
@@ -68,7 +68,7 @@ stdenv.mkDerivation rec {
  '';

  buildInputs = [
-    boost
+    boost183
    gmp
    emacs
    jre_headless