Re: [PATCH] Add libgmp10 for buildd.debian.org

[Mehdi Dogguy <mehdi@debian.org>]

Hi DSA,

I didn't send the first message, sorry.

Joachim (CC'ed) worked on a script that auto-generates list of binNMUs 
depending
on some criteria. So we are going to need libgmp10 on buildd.d.o. Can 
you please
apply my patch and notify us when done?

FWIW, the package has been already installed by Weasel. The patch is 
mainly to
not forget about that package next time buildd.d.o changes host.

Cheers.

Le 2014-08-28 11:31, Mehdi Dogguy a écrit :
> ---
>  debian/changelog |    4 ++++
>  debian/control   |    1 +
>  2 files changed, 5 insertions(+)
>
> diff --git a/debian/changelog b/debian/changelog
> index d571299..352f27b 100644
> --- a/debian/changelog
> +++ b/debian/changelog
> @@ -25,6 +25,10 @@ debian.org (55) UNRELEASED; urgency=low
>      + bump version on python-django and python-requests
>      + replace python-beautifulsoup by python-bs4
>
> +  [ Mehdi Dogguy ]
> +  * buildd:
> +    + libgmp10
> +
>   -- Peter Palfrader <weasel@debian.org>  Sat, 05 Jul 2014 15:22:45 
> +0200
>
>  debian.org (54) unstable; urgency=medium
> diff --git a/debian/control b/debian/control
> index 32fa673..8f31704 100644
> --- a/debian/control
> +++ b/debian/control
> @@ -318,6 +318,7 @@ Depends:
>  	php5-cgi,
>  	php5-pgsql,
>  	libapache2-mod-fcgid,
> +	libgmp10,
>  	libyaml-libyaml-perl
>  Description: metapackages for buildd.debian.org dependencies
>   This package depends on everything that is needed for a 
> buildd.debian.org.

--
Mehdi