Merge pull request #121673 from ymarkus/devdocs

devdocs-desktop: 0.7.1 -> 0.7.2
This commit is contained in:
Sandro 2021-05-05 23:27:26 +02:00 committed by GitHub
commit 6c53939f1a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,13 +1,13 @@
{ lib, appimageTools, fetchurl, gsettings-desktop-schemas, gtk3 }:
let
version = "0.7.1";
version = "0.7.2";
pname = "devdocs-desktop";
name = "${pname}-${version}";
src = fetchurl {
url = "https://github.com/egoist/devdocs-desktop/releases/download/v${version}/DevDocs-${version}.AppImage";
sha256 = "5bba99a34c90a65eff67aface0b7446cbf43d620a1c195f27e7bb33ab6d3d0c2";
sha256 = "sha256-4ugpzh0Dweae6tKb6uqRhEW9HT+iVIo8MQRbVKTdRFw=";
};
appimageContents = appimageTools.extractType2 {