ragelDev: 7.0.0.11 -> 7.0.0.12

wip/yesman
Mario Rodas 5 years ago
parent ce60442420
commit 429d71d520
No known key found for this signature in database
GPG Key ID: 4C4BEFD7B18DC5E8
  1. 4
      pkgs/development/tools/parsing/ragel/default.nix

@ -43,8 +43,8 @@ in
};
ragelDev = generic {
version = "7.0.0.11";
sha256 = "0h2k9bfz9i7x9mvr9rbsrzz8fk17756zwwrkf3fppvm9ivzwdfh8";
version = "7.0.0.12";
sha256 = "0x3si355lv6q051lgpg8bpclpiq5brpri5lv3p8kk2qhzfbyz69r";
license = stdenv.lib.licenses.mit;
};
}

Loading…
Cancel
Save