From bd54bd42c5933e4c571dcfd6a8afac8e52cf7366 Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Thu, 25 Jan 2024 12:13:18 +0100 Subject: [PATCH] Adapt libarb_s7.c to FLINT 3. --- libarb_s7.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/libarb_s7.c b/libarb_s7.c index 7413ccc..d9e0084 100644 --- a/libarb_s7.c +++ b/libarb_s7.c @@ -6,10 +6,10 @@ #include #include -#include -#include -#include -#include +#include +#include +#include +#include #define WITH_GMP 1 #include "s7.h" -- 2.41.0 4b5e1e8dd970680c8756387b0cdd'/> Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-06-13bootstrap: Simplify search for translation languages.Hartmut Goebel
2020-02-17bootstrap: Fix typo.Tobias Geerinckx-Rice
2019-09-18doc: Add Guix Cookbook.Ricardo Wurmus
2019-04-26bootstrap: Break automake dependency on generated files.Miguel Ángel Arruga Vivas