diff options
author | Florent C <florentc@users.noreply.github.com> | 2022-02-16 15:05:51 +0100 |
---|---|---|
committer | Florent C <florentc@users.noreply.github.com> | 2022-02-16 15:19:51 +0100 |
commit | 762faa21a2f98ecfaa4bce76a0e167311ccd4ce8 (patch) | |
tree | 3f4bc7a1db6cbaae938378d694639fa92465b31d /pkgs | |
parent | b37bf4cdf6e0f240ac19cfbd22388b9627f2f855 (diff) | |
download | nixpkgs-762faa21a2f98ecfaa4bce76a0e167311ccd4ce8.tar nixpkgs-762faa21a2f98ecfaa4bce76a0e167311ccd4ce8.tar.gz nixpkgs-762faa21a2f98ecfaa4bce76a0e167311ccd4ce8.tar.bz2 nixpkgs-762faa21a2f98ecfaa4bce76a0e167311ccd4ce8.tar.lz nixpkgs-762faa21a2f98ecfaa4bce76a0e167311ccd4ce8.tar.xz nixpkgs-762faa21a2f98ecfaa4bce76a0e167311ccd4ce8.tar.zst nixpkgs-762faa21a2f98ecfaa4bce76a0e167311ccd4ce8.zip |
tlaps: 1.4.3 -> 1.4.5
This updates tlaps to the most recent stable version and fixes the template for the url from which the sources are fetched. Previously, the tarball was fetched from the "current" remote directory from which old versions are eventually removed. The package was therefore broken. It also adds myself (florentc) as a maintainer.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/tlaplus/tlaps.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/tlaplus/tlaps.nix b/pkgs/applications/science/logic/tlaplus/tlaps.nix index 90a4aeb4f8a..14b3055ab36 100644 --- a/pkgs/applications/science/logic/tlaplus/tlaps.nix +++ b/pkgs/applications/science/logic/tlaplus/tlaps.nix @@ -11,10 +11,10 @@ stdenv.mkDerivation rec { pname = "tlaps"; - version = "1.4.3"; + version = "1.4.5"; src = fetchurl { - url = "https://tla.msr-inria.inria.fr/tlaps/dist/current/tlaps-${version}.tar.gz"; - sha256 = "1w5z3ns5xxmhmp8r4x2kjmy3clqam935gmvx82imyxrr1bamx6gf"; + url = "https://tla.msr-inria.inria.fr/tlaps/dist/${version}/tlaps-${version}.tar.gz"; + sha256 = "c296998acd14d5b93a8d5be7ee178007ef179957465966576bda26944b1b7fca"; }; buildInputs = [ ocaml isabelle cvc3 perl wget which ]; @@ -52,7 +52,7 @@ stdenv.mkDerivation rec { homepage = "https://tla.msr-inria.inria.fr/tlaps/content/Home.html"; license = lib.licenses.bsd2; platforms = lib.platforms.unix; - maintainers = [ ]; + maintainers = with lib.maintainers; [ florentc ]; }; } |