Subject: bug#34243: update cmake to latest release (3.13.3)

From: Marius Bakke <[email-masked]>
Date: Wed, 06 Feb 2019 22:12:19 +0100

Maxim Cournoyer <[email-masked]> writes:

> Hello,
>
> Clément Lassieur <[email-masked]> writes:
>
>> Marius Bakke <[email-masked]> writes:
>>
>>> Clément Lassieur <[email-masked]> writes:
>>>
>>>> This is a wish. :-)
>>>
>>> Will 3.13.1 from 'staging' do?
>>
>> Yes sure!  I hadn't checked staging.  Thanks you :-)
>
> Maybe now would be a good time to merge this patch, along this version
> bump:  http://issues.guix.info/issue/33497 ?  It adds manpages and an
> info manual (+ HTML docs in the doc output).

Staging is already fully-built for all architectures, and usually does
not take packages with more than ~1200 dependents, so that patch will
have to go to core-updates (which should be starting soonish)...  :-)