Merge pull request #82726 from r-ryantm/auto-update/tintin

tintin: 2.02.01 -> 2.02.02
This commit is contained in:
Mario Rodas 2020-03-17 08:06:21 -05:00 committed by GitHub
commit cddbcd75dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -6,11 +6,11 @@
assert tlsSupport -> gnutls != null; assert tlsSupport -> gnutls != null;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "tintin-2.02.01"; name = "tintin-2.02.02";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/tintin/${name}.tar.gz"; url = "mirror://sourceforge/tintin/${name}.tar.gz";
sha256 = "15ajs6d0rb3xchd46gyziciz9vv0ks75schk1s4hs7pr30yr7k6y"; sha256 = "11ylbp8ip7dwmh4gzb53z147pcfxkl3lwhyy8ngyn2zc634vdn65";
}; };
nativeBuildInputs = lib.optional tlsSupport gnutls.dev; nativeBuildInputs = lib.optional tlsSupport gnutls.dev;