Update plover

This commit is contained in:
Gitea Bot 2023-05-19 14:22:12 +00:00
parent 4d7fa1d1bb
commit e702208fc8
No known key found for this signature in database
GPG key ID: 417A4BCCAB696E24
3 changed files with 20 additions and 19 deletions

View file

@ -1,13 +1,14 @@
{ lib, {
lib,
fetchFromGitHub, fetchFromGitHub,
buildLinux, buildLinux,
... ...
} @ args: } @ args: let
let
modDirVersion = "6.3.0"; modDirVersion = "6.3.0";
source = builtins.fromJSON (builtins.readFile ./source.json); source = builtins.fromJSON (builtins.readFile ./source.json);
in buildLinux (args // { in
buildLinux (args
// {
inherit modDirVersion; inherit modDirVersion;
version = "6.3.0+${source.rev}"; version = "6.3.0+${source.rev}";
src = fetchFromGitHub { src = fetchFromGitHub {