From 501a82e406edc1c91f2df08e1cb5f051715cf1f0 Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Fri, 5 Sep 2025 13:33:45 +0200
Subject: [PATCH] mozart: pin boost to boost183

This package has not been building correctly for a while.
This is the last version of boost that mozart will build against with
the current source.
---
 pkgs/development/compilers/mozart/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/compilers/mozart/default.nix b/pkgs/development/compilers/mozart/default.nix
index 41604a27a8ad..88736dffdeec 100644
--- 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