From gebner at gebner.org  Thu Jan 21 10:39:59 2016
From: gebner at gebner.org (Gabriel Ebner)
Date: Thu, 21 Jan 2016 11:39:59 +0100
Subject: [metis-users] Versioned release tarballs
Message-ID: <87h9i7dxmo.fsf@archachatina.mtlaa.gebner.org>

Hi,

I'm maintaining the metis package for the NixOS[1] distribution.

In NixOS, packages specify the URL of the source distribution together
with a SHA256 hash[2].  If the SHA256 hash doesn't match, the build
fails.

As metis is released often and the source is always at the same URL, the
NixOS build fails regularly.

Could you provide us with a stable URL for each release tarball, i.e.
maybe something like the following?

     http://www.gilith.com/software/metis/metis-20160102.tar.gz

Gabriel.

[1] https://nixos.org
[2] https://github.com/NixOS/nixpkgs/blob/master/pkgs/applications/science/logic/metis-prover/default.nix


From joe at gilith.com  Thu Jan 21 23:56:37 2016
From: joe at gilith.com (Joe Leslie-Hurd)
Date: Thu, 21 Jan 2016 15:56:37 -0800
Subject: [metis-users] Versioned release tarballs
In-Reply-To: <87h9i7dxmo.fsf@archachatina.mtlaa.gebner.org>
References: <87h9i7dxmo.fsf@archachatina.mtlaa.gebner.org>
Message-ID: <CACQy07meKHdixhFanAaT521G_q2wHZL0ngEj5s06z=pmV2y7OQ@mail.gmail.com>

Hi Gabriel,

Thank you for maintaining the NixOS Metis package.

I don't see a problem with implementing what you're asking for - the
main question I have is how long would the URL need to be stable for?
Are you asking for an archive of every release of Metis in perpetuity?
That isn't necessarily a problem, by the way, I just want to
understand the requirements of NixOS.

Cheers,

Joe

On Thu, Jan 21, 2016 at 2:39 AM, Gabriel Ebner <gebner at gebner.org> wrote:
> Hi,
>
> I'm maintaining the metis package for the NixOS[1] distribution.
>
> In NixOS, packages specify the URL of the source distribution together
> with a SHA256 hash[2].  If the SHA256 hash doesn't match, the build
> fails.
>
> As metis is released often and the source is always at the same URL, the
> NixOS build fails regularly.
>
> Could you provide us with a stable URL for each release tarball, i.e.
> maybe something like the following?
>
>      http://www.gilith.com/software/metis/metis-20160102.tar.gz
>
> Gabriel.
>
> [1] https://nixos.org
> [2] https://github.com/NixOS/nixpkgs/blob/master/pkgs/applications/science/logic/metis-prover/default.nix
>
> _______________________________________________
> metis-users mailing list
> metis-users at gilith.com
> http://www.gilith.com/mailman/listinfo/metis-users