From e419c5dcf869abc14ad7ba474d6d62f4df979be1 Mon Sep 17 00:00:00 2001
From: Christoph Alt <typ@ohnebild.com>
Date: Thu, 19 Jan 2023 19:06:16 +0100
Subject: [PATCH] updated manifest
---
manifest.scm | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/manifest.scm b/manifest.scm
index 385f7ed..e6fe881 100644
--- a/manifest.scm
+++ b/manifest.scm
@@ -125,11 +125,12 @@
(specifications->manifest
(list
"bash-minimal"
- "proot-static"
+ ;; "proot-static"
"grep"
"which"
"coreutils"
"pkg-config"
+ ;; "libtool"
"glibc-locales"
"glibc-bootstrap"
@@ -138,7 +139,7 @@
"cmake"
"make"
- "gcc-toolchain@12.2.0"
+ "gcc-toolchain@11.3.0"
"openmpi"
"openmpi-c++"
--
GitLab