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

tintin: 2.01.92 -> 2.02.01
This commit is contained in:
Mario Rodas 2020-01-31 08:38:56 -05:00 committed by GitHub
commit f04239caaa
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.01.92"; name = "tintin-2.02.01";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/tintin/${name}.tar.gz"; url = "mirror://sourceforge/tintin/${name}.tar.gz";
sha256 = "0id8rd2yhh6ccjnlwyixflsay1rq3sw6pwlhz1ic3nzj22cd91ik"; sha256 = "15ajs6d0rb3xchd46gyziciz9vv0ks75schk1s4hs7pr30yr7k6y";
}; };
nativeBuildInputs = lib.optional tlsSupport gnutls.dev; nativeBuildInputs = lib.optional tlsSupport gnutls.dev;