public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tamarin-prover: 1.3.0 -> 1.3.1

Browse Source
This commit is contained in:
wchresta 2018-03-08 11:28:58 +01:00 committed by Vincent Laporte
parent daafd1d71f
commit c6d3f0d3c6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/tamarin-prover/default.nix
View File

@ -4,12 +4,12 @@
}: }:
let let
version = "1.3.0"; version = "1.3.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "tamarin-prover"; owner = "tamarin-prover";
repo = "tamarin-prover"; repo = "tamarin-prover";
rev = "8e823691ad3325bce8921617b013735523d74557"; rev = "120c7e706f3e1d4646b233faf2bc9936834ed9d3";
sha256 = "0rr2syl9xhv17bwky5p39mhn0bypr24h8pld1xidxv87vy7vk7nr"; sha256 = "064blwjjwnkycwgsrdn1xkjya976wndpz9h5pjmgjqqirinc8c5x";
}; };
# tamarin has its own dependencies, but they're kept inside the repo, # tamarin has its own dependencies, but they're kept inside the repo,