Merge pull request #210164 from r-ryantm/auto-update/martian-mono

martian-mono: 0.9.2 -> 1.0.0
This commit is contained in:
Mario Rodas 2023-01-12 00:55:18 -05:00 committed by GitHub
commit 2dfaf809bb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenvNoCC.mkDerivation rec {
pname = "martian-mono";
version = "0.9.2";
version = "1.0.0";
src = fetchzip {
url = "https://github.com/evilmartians/mono/releases/download/v${version}/martian-mono-${version}-otf.zip";
sha256 = "sha256-whIR7BaEflm/VsF60Xck6ZJDLzTugaTOogHzcEtwCsM=";
sha256 = "sha256-hC08IHWqg+x3qoEf4EL98ZbGeqdwjnMpDovEiWrWPpI=";
stripRoot = false;
};