[metis-users] Versioned release tarballs

[Joe Leslie-Hurd]

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/metis/mailing-list