On Tue, 16 Oct 2018 13:28:01 +0200
ludo@gnu.org (Ludovic Courtès) wrote:

> Hi Eric,
> 
> Eric Bavier <bavier@cray.com> skribis:
> 
> > On Mon, Oct 15, 2018 at 09:28:31PM +0200, Ludovic Courtès wrote:  
> >> Eric Bavier <ericbavier@centurylink.net> skribis:
> >>   
> >> > On Sun, 14 Oct 2018 23:42:58 +0200
> >> > ludo@gnu.org (Ludovic Courtès) wrote:  
> >> >> I wonder whether we should add packages “just” for this, especially
> >> >> given that 2.0 support is reaching end-of-life and that 2.0.13 is pretty
> >> >> old.  
> >> >
> >> > This package would be updated as needed to reflect changes in Guix
> >> > dependencies.  
> >> 
> >> OK.  It does sound like an interesting CI job, but maybe not great as a
> >> package users can install.  Though of course we can mark it as hidden
> >> and then it’s just an easy way to write that CI job.  Thoughts?  
> >
> > I think marking it "hidden" would be fine.  
> 
> OK, let’s do that, along with a comment explaining the purpose of this
> package.


Pushed with the above changes in
6f1ce09d79fa6148459c90120881e825551651b2