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

opengrm-ngram: 1.3.13 -> 1.3.14
This commit is contained in:
Janne Heß 2022-05-13 11:57:56 +02:00 committed by GitHub
commit 03b42b70b4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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 ];