[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. upstream/0.2.1-10-g4d9b011

Stephane Glondu steph at glondu.net
Mon Feb 21 16:57:08 UTC 2011


The following commit has been merged in the master branch:
commit a99db68ef72f70cbb59746f14e526e3cd7608ea8
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 21 17:33:45 2011 +0100

    Update debian/watch

diff --git a/debian/watch b/debian/watch
index 6ea59f3..2e63b76 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,2 +1,3 @@
 version=3
+opts="uversionmangle=s/-pl/.pl/" \
 http://sardes.inrialpes.fr/~braibant/aac_tactics/ aac_tactics.(.*)\.tgz

-- 
aac-tactics packaging



More information about the Pkg-ocaml-maint-commits mailing list