Merge pull request #182575 from fgaz/pikchr/2022-06-20

pikchr: unstable-2022-01-30 -> unstable-2022-06-20
This commit is contained in:
Winter 2022-07-24 21:48:51 -04:00 committed by GitHub
commit f96d981d11
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,11 +6,11 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "pikchr"; pname = "pikchr";
# To update, use the last check-in in https://pikchr.org/home/timeline?r=trunk # To update, use the last check-in in https://pikchr.org/home/timeline?r=trunk
version = "unstable-2022-01-30"; version = "unstable-2022-06-20";
src = fetchurl { src = fetchurl {
url = "https://pikchr.org/home/tarball/5db3aa1d294dcd16/pikchr.tar.gz"; url = "https://pikchr.org/home/tarball/d9ee756594b6eb64/pikchr.tar.gz";
sha256 = "sha256-xnT2oOx4LK9CElXeAuQIKlu6WvMB8Nv5+2kBzWQ5Gpc="; sha256 = "sha256-ML+gymFrBay1kly7NYsxo0I1qNMoZPzNI3ClBTrWlHw=";
}; };
# can't open generated html files # can't open generated html files