Subject: Re: bug#55170: [PATCH 0/5] gnu: dealii: Add SUNDIALS dependency and update to 9.3.3.
From: Ludovic Courtès <[email-masked]>
To: "Paul A. Patience" <[email-masked]>
Cc: [email-masked]
Date: Tue, 03 May 2022 18:04:06 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi again,

"Paul A. Patience" <[email-masked]> skribis:

>   gnu: sundials: Add 5.8.0.
>   gnu: dealii: Remove trailing booleans.
>   gnu: dealii-openmpi: Remove input labels.
>   gnu: dealii: Add SUNDIALS dependency.
>   gnu: dealii: Update to 9.3.3.

Pushed as 8b2d26660717a0f352da54acd68e0d61a7c697df.  Works like a charm
now, thanks!

Ludo’.