From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <brobecker@adacore.com>
Received: from rock.gnat.com (rock.gnat.com
 [IPv6:2620:20:4000:0:a9e:1ff:fe9b:1d1])
 by sourceware.org (Postfix) with ESMTP id 596A4386EC6C
 for <overseers@sourceware.org>; Thu, 19 Nov 2020 09:26:53 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 596A4386EC6C
Received: from localhost (localhost.localdomain [127.0.0.1])
 by filtered-rock.gnat.com (Postfix) with ESMTP id 0A3B756171
 for <overseers@sourceware.org>; Thu, 19 Nov 2020 04:26:53 -0500 (EST)
X-Virus-Scanned: Debian amavisd-new at gnat.com
Received: from rock.gnat.com ([127.0.0.1])
 by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024)
 with LMTP id dYMic3bXwznl for <overseers@sourceware.org>;
 Thu, 19 Nov 2020 04:26:52 -0500 (EST)
Received: from float.home (localhost.localdomain [127.0.0.1])
 (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by rock.gnat.com (Postfix) with ESMTPS id ACCE55616F
 for <overseers@sourceware.org>; Thu, 19 Nov 2020 04:26:52 -0500 (EST)
Received: by float.home (Postfix, from userid 1000)
 id 3BE9BA18CF; Thu, 19 Nov 2020 13:26:47 +0400 (+04)
Date: Thu, 19 Nov 2020 13:26:47 +0400
From: Joel Brobecker <brobecker@adacore.com>
To: overseers@sourceware.org
Subject: Re: install gmp and gmp-devel on sourceware?
Message-ID: <20201119092647.GE3721@adacore.com>
References: <20201119035111.GA104351@adacore.com>
 <20201119045839.GB15067@cgf.cx>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20201119045839.GB15067@cgf.cx>
X-Spam-Status: No, score=-3.5 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: overseers@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Overseers mailing list <overseers.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/overseers>,
 <mailto:overseers-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/overseers/>
List-Post: <mailto:overseers@sourceware.org>
List-Help: <mailto:overseers-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/overseers>,
 <mailto:overseers-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Thu, 19 Nov 2020 09:26:54 -0000

> >Would it be possible to install gmp and the corresponding "devel"
> >package to support the source package?
> 
> Sure.
> 
> I've installed gmp (aka gmp-c++?) and gmp-devel on sourceware.

Thanks a lot!

-- 
Joel