[metis-users] Versioned release tarballs

[Gabriel Ebner]

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