picat: 3.0p3 -> 3.0p4

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2021-01-15 12:03:57 -06:00
parent 1917c21d2e
commit 7996fb0d4e
No known key found for this signature in database
GPG Key ID: 25D2038DEB08021D

View File

@ -9,11 +9,11 @@ let
in in
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "picat"; pname = "picat";
version = "3.0p3"; version = "3.0p4";
src = fetchurl { src = fetchurl {
url = "http://picat-lang.org/download/picat30_3_src.tar.gz"; url = "http://picat-lang.org/download/picat30_4_src.tar.gz";
sha256 = "052w0vk2xfmky5nv280ysb8in6vaph7i79yvbddqmahzszarq5hw"; sha256 = "1rwin44m7ni2h2v51sh2r8gj2k6wm6f86zgaylrria9jr57inpqj";
}; };
buildInputs = [ zlib ]; buildInputs = [ zlib ];