[gis] 01/01: osrm moved to Git, it also creates the binary osrm-tools

[Andreas Tille]

This is an automated email from the git hooks/post-receive script.

tille pushed a commit to branch master
in repository gis.

commit 7ac690603da9d0a53a33b92f4ecef016d7f86823
Author: Andreas Tille <tille at debian.org>
Date:   Thu Jul 10 16:54:47 2014 +0200

    osrm moved to Git, it also creates the binary osrm-tools
---
 tasks/osm | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/tasks/osm b/tasks/osm
index 056cbda..6d5582d 100644
--- a/tasks/osm
+++ b/tasks/osm
@@ -11,11 +11,7 @@ Depends:     viking
 
 Depends:     josm
 
-Depends:     osrm
-WNPP: 701506
-Comment: RFS: #715543
-  http://mentors.debian.net/debian/pool/main/o/osrm/osrm_0.3.4-1.dsc
-  but missing in Git
+Depends:     osrm, osrm-tools
 
 Suggests:    josm-plugins
 X-Comment:   Sometimes conflicts with josm package, no point in recommending it

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/blends/projects/gis.git