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: 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 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