Merge pull request #81291 from r-ryantm/auto-update/Amiri

amiri: 0.111 -> 0.112
This commit is contained in:
Mario Rodas 2020-02-29 12:02:57 -05:00 committed by GitHub
commit f54bbc35e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,14 +1,14 @@
{ lib, fetchzip }:
let
version = "0.111";
version = "0.112";
in fetchzip rec {
name = "Amiri-${version}";
url = "https://github.com/alif-type/amiri/releases/download/${version}/${name}.zip";
sha256 = "1w3a5na4mazspwy8j2hvpjha10sgd287kamm51p49jcr90cvwbdr";
sha256 = "13j8kglgca296czxjz1xvrbz6yx05s2xassiliyszndbkrhn6bkl";
postFetch = ''
unzip $downloadedFile