[Pkg-cli-apps-commits] [SCM] fsharp branch, master, updated. debian/3.0.26-1-23-ga7f20f3

[Christopher James Halse Rogers]

The following commit has been merged in the master branch:
commit 02d1e21efa12445336760f1e3691f7dd8bbc1e2c
Author: Christopher James Halse Rogers <raof at ubuntu.com>
Date:   Fri Apr 26 15:07:23 2013 +1000

    Use direct github page in watch file
    
    The Debian github redirector seems to be flaky. It's not that
    hard to scrape github directly, so do that.

diff --git a/debian/watch b/debian/watch
index 5bf9f1b..4c09841 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,6 @@
 # format version number, currently 3; this line is compulsory!
 version=3
 
-http://githubredir.debian.net/github/fsharp/fsharp /github/fsharp/fsharp/(.*).tar.gz
+opts=dversionmangle=s/\+dfsg// \
+https://github.com/fsharp/fsharp/tags .*/(\d[\d\.]*)\.tar\.gz
+

-- 
fsharp