Merge pull request #172776 from wkral/opengrm-ngram-update

opengrm-ngram: 1.3.13 -> 1.3.14
main
Janne Heß 2 years ago committed by GitHub
commit 03b42b70b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      pkgs/development/libraries/opengrm-ngram/default.nix

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "opengrm-ngram";
version = "1.3.13";
version = "1.3.14";
src = fetchurl {
url = "http://www.openfst.org/twiki/pub/GRM/NGramDownload/ngram-${version}.tar.gz";
sha256 = "sha256-5CXf6OXs7owny3yZQrWYA6yhIyN0dgA2B8TSDEUTF1Q=";
sha256 = "sha256-ivMPDy6CPM17hWCToLOVzUgcWZiEt2pjYeizeBLYnYc=";
};
nativeBuildInputs = [ autoreconfHook ];

Loading…
Cancel
Save