diff options
| author | Bobby Rong <rjl931189261@126.com> | 2022-02-28 16:33:42 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-28 16:33:42 +0800 |
| commit | f35d1b8568eea107c19ede62e6260d30ff36fa9e (patch) | |
| tree | c71695e89e6bad8c9d81588c9ecb8a8cc65b5028 /pkgs | |
| parent | 4c419ef1c68f5ba3424d4cff7c5ea3409e07da71 (diff) | |
| parent | 762faa21a2f98ecfaa4bce76a0e167311ccd4ce8 (diff) | |
| download | nixpkgs-f35d1b8568eea107c19ede62e6260d30ff36fa9e.tar nixpkgs-f35d1b8568eea107c19ede62e6260d30ff36fa9e.tar.gz nixpkgs-f35d1b8568eea107c19ede62e6260d30ff36fa9e.tar.bz2 nixpkgs-f35d1b8568eea107c19ede62e6260d30ff36fa9e.tar.lz nixpkgs-f35d1b8568eea107c19ede62e6260d30ff36fa9e.tar.xz nixpkgs-f35d1b8568eea107c19ede62e6260d30ff36fa9e.tar.zst nixpkgs-f35d1b8568eea107c19ede62e6260d30ff36fa9e.zip | |
Merge pull request #160332 from florentc/tlaps
tlaps: 1.4.3 -> 1.4.5
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 ]; }; } |