From 9d9ce7d44e9b7032e59291c679df7a08e093fd51 Mon Sep 17 00:00:00 2001
From: lennart <lennkrad@gmail.com>
Date: Wed, 6 May 2020 14:09:35 +0200
Subject: [PATCH] stack seems to want a specific maxima version

---
 maxima_version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maxima_version b/maxima_version
index e9c077f..b9f26f9 100644
--- a/maxima_version
+++ b/maxima_version
@@ -1 +1 @@
-5.43.2
+5.41.0
-- 
GitLab