Merge pull request #110579 from Mic92/phonetisaurus

phonetisaurus: 2020-07-31 -> 0.9.1
This commit is contained in:
Martin Weinelt 2021-01-23 12:45:33 +01:00 committed by GitHub
commit 45f4400982
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -7,12 +7,12 @@
stdenv.mkDerivation rec {
pname = "phonetisaurus";
version = "2020-07-31";
version = "0.9.1";
src = fetchFromGitHub {
owner = "AdolfVonKleist";
repo = pname;
rev = "2831870697de5b4fbcb56a6e1b975e0e1ea10deb";
rev = version;
sha256 = "1b18s5zz0l0fhqh9n9jnmgjz2hzprwzf6hx5a12zibmmam3qyriv";
};