summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2015-05-18 17:28:53 +0200
committerStephane Glondu <steph@glondu.net>2015-05-18 17:28:53 +0200
commit737cc9b48fd839c7840be153bb59cb5bf65932ac (patch)
treea389b6b5583198c47084bff82da47e304e4cf408 /debian
parent63a71ea06a1bfa642547fb1b77e6cfef4b00520c (diff)
Update debian/watch
Diffstat (limited to 'debian')
-rw-r--r--debian/watch3
1 files changed, 1 insertions, 2 deletions
diff --git a/debian/watch b/debian/watch
index 34e5d0c..f5118e5 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,2 @@
version=3
-http://calendar.forge.ocamlcore.org/ .*/calendar-(\d.*)\.(?:tgz|tbz2|tar\.(?:gz|bz2|xz))
-# Bart Martens <bartm@debian.org> Fri, 23 Nov 2012 19:36:37 +0000
+https://forge.ocamlcore.org/frs/?group_id=83 .*/calendar-(\d.*)\.(?:tgz|tbz2|tar\.(?:gz|bz2|xz))