diff options
author | Milan Pässler <me@pbb.lc> | 2020-07-25 07:04:00 +0200 |
---|---|---|
committer | Thomas Tuegel <thomas.tuegel@runtimeverification.com> | 2020-09-07 08:05:22 -0500 |
commit | 4c0c44c9359d497d88618beb29c46875062ee29c (patch) | |
tree | 7b87be593ba96a4625087df2a5d5eb621006e4fd /pkgs/applications/misc/tipp10 | |
parent | f299399edb954836e52fa83626dc23b7f52af4d0 (diff) |
tipp10: 3.2.0 -> unstable-20200616
Diffstat (limited to 'pkgs/applications/misc/tipp10')
-rw-r--r-- | pkgs/applications/misc/tipp10/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/misc/tipp10/default.nix b/pkgs/applications/misc/tipp10/default.nix index 4782b90b4a1fa..689c5aa3a9ef6 100644 --- a/pkgs/applications/misc/tipp10/default.nix +++ b/pkgs/applications/misc/tipp10/default.nix @@ -3,13 +3,13 @@ mkDerivation rec { pname = "tipp10"; - version = "3.2.0"; + version = "unstable-20200616"; src = fetchFromGitLab { owner = "tipp10"; - repo = pname; - rev = "v${version}"; - sha256 = "0fav5jlw6lw78iqrj7a65b8vd50hhyyaqyzmfrvyxirpsqhjk1v7"; + repo = "tipp10"; + rev = "2dd6d45c8a91cff7075675d8875721456cdd5f1b"; + sha256 = "16x51rv4r6cz5vsmrfbakqzbfxy456h82ibzacknp35f41cjdqq4"; }; nativeBuildInputs = [ cmake qttools ]; |