[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The Nixpkgs Monitor
From: |
Ludovic Courtès |
Subject: |
Re: The Nixpkgs Monitor |
Date: |
Sat, 25 Jan 2014 22:44:17 +0100 |
User-agent: |
Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) |
Andreas Enge <address@hidden> skribis:
> On Sat, Jan 18, 2014 at 04:35:14PM +0100, Ludovic Courtès wrote:
>> And what do we do for URIs in http:// or mirror://?
>
> What is the particular problem? For ffmpeg, for instance, the uri reads
> (uri (string-append "http://www.ffmpeg.org/releases/ffmpeg-"
> version ".tar.bz2"))
> which gets expanded into
> "http://www.ffmpeg.org/releases/ffmpeg-2.1.1.tar.bz2".
>
> One could try the following:
> - Remove potentially trailing ".bz2" (to remove digits).
> - Look for a regular expression "([:digits:].)*["digits:]".
> If there is only one, this is likely to be the version; try "++" everywhere
> (in a way that would give "2.1.2", "2.2.0", "3.0.0" in our case, and maybe
> the same ones without the trailing ".0"); replace them in the string and
> check whether they exist.
Well indeed, that sounds like a workable plan. We should try it.
Thanks,
Ludo’.