bumped version

diff --git a/debian/changelog b/debian/changelog
index 7b5541869421afbcc589ab28a30b6e28fdb6e7a4..efc72331a294504ea8300d1e14a2cd8296f040a0 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-ocaml (3.08.3-3+SVN) unstable; urgency=low
+ocaml (3.08.3-4) unstable; urgency=low
 
   Changes by Julien Cristau:
   * Create directories in /usr/local/lib with proper permissions in