From c6e41be3d88afe788978b7f647d583e67d2433ee Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Fri, 15 Mar 2002 14:59:09 +0000
Subject: [PATCH] Bump for 4.131 (15 Mar 2002)

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

diff --git a/Packages/Interval_arithmetic/version b/Packages/Interval_arithmetic/version
index ff9fb2d60ce..e40e2481a6e 100644
--- a/Packages/Interval_arithmetic/version
+++ b/Packages/Interval_arithmetic/version
@@ -1 +1 @@
-4.130 (20 Feb 2002)
+4.131 (15 Mar 2002)