From f2df88cc0f980b7d7fb458f367c616aff80baece Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Thu, 15 May 2003 10:18:22 +0000
Subject: [PATCH] Bump for 4.95 (15 May 2003)

---
 Packages/Number_types/version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Packages/Number_types/version b/Packages/Number_types/version
index b4d100ae277..9f5bf728d52 100644
--- a/Packages/Number_types/version
+++ b/Packages/Number_types/version
@@ -1 +1 @@
-4.94 (14 May 2003)
+4.95 (15 May 2003)