From e7dd595ce332c100ffc99e1a908ee82316c2b01e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 29 Jul 2005 10:38:29 +0000 Subject: [PATCH] bumped version --- debian/changelog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 7b554186..efc72331 100644 --- 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 -- 2.30.2