Merge pull request #33348 from erictapen/osrm-5.14.3

osrm-backend: 5.14.1 -> 5.14.3
This commit is contained in:
adisbladis 2018-01-03 14:42:31 +01:00 committed by GitHub
commit c3754a785f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "osrm-backend-${version}";
version = "5.14.1";
version = "5.14.3";
src = fetchFromGitHub {
rev = "v${version}";
owner = "Project-OSRM";
repo = "osrm-backend";
sha256 = "0n7fpm8m5r93dxciagp2n8ij1wg483yb9srbzdzjqf1zzyh637sz";
sha256 = "1ajgybjx7g6qzddavab8bj7il7wn5wy24nivjj5rk84mfbi71s5v";
};
buildInputs = [ cmake pkgconfig bzip2 libxml2 libzip boost lua luabind tbb expat];