3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #283412 from r-ryantm/auto-update/fleng

fleng: 17 -> 19
This commit is contained in:
Nick Cao 2024-01-24 09:50:19 -05:00 committed by GitHub
commit 3fc826015b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -5,11 +5,11 @@
stdenv.mkDerivation (finalAttrs: {
pname = "fleng";
version = "17";
version = "19";
src = fetchurl {
url = "http://www.call-with-current-continuation.org/fleng/fleng-${finalAttrs.version}.tgz";
hash = "sha256-mZ0JDt1wDWUUvK5FNvGRkz1BEunmZAzHAuhURA1P89Q=";
hash = "sha256-xYMNGS3avZ9JsR8kJlSHz+C2XsLmhsDO/KTr5JquRK8=";
};
doCheck = true;