Subject: bug#43432: trilinos source vanished

From: zimoun <[email-masked]>
Date: Tue, 18 Oct 2022 17:38:40 +0200

Hi,

I think it is a duplicate of #40074 [1].  I am in favour to close both.

1: <http://issues.guix.gnu.org/issue/40074>

Cheers,
simon