===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/Linux/Debian2/debian/changelog,v
retrieving revision 1.15
retrieving revision 1.23
diff -u -p -r1.15 -r1.23
--- OpenXM/misc/packages/Linux/Debian2/debian/changelog	2010/02/16 02:49:50	1.15
+++ OpenXM/misc/packages/Linux/Debian2/debian/changelog	2013/02/15 07:42:40	1.23
@@ -1,3 +1,51 @@
+openxm (1.3.1-11) unstable; urgency=low
+
+  * bug fixes. Minor changes: Ropenxm. nd_setup_parameters. k0 server. gc7.2d. dp=1. nd_gr_recompute_trace. twisted_log. getpid. weight_check.   
+	
+ -- MathLibre package maintenance <debian@math.kobe-u.ac.jp>  Fri,  15 Feb 2013 7:50:00 +0900
+  
+openxm (1.3.1-10) unstable; urgency=low
+
+  * The GC is upgraded to 7.2alpha. Bug fixes.  
+	
+ -- Knoppix/Math package maintenance <debian@math.kobe-u.ac.jp>  Tue,  15 May 2012 13:50:00 +0900
+  
+openxm (1.3.1-9) unstable; urgency=low
+
+  * Several bug fixes.
+	
+ -- Knoppix/Math package maintenance <debian@math.kobe-u.ac.jp>  Wed,  22 Feb 2012 14:47:00 +0900
+  
+openxm (1.3.1-8) unstable; urgency=low
+
+  * 2nd minor update for knxm2011-dojo
+	
+ -- Knoppix/Math package maintenance <debian@math.kobe-u.ac.jp>  Mon,  29 Aug 2011 9:50:00 +0900
+  
+openxm (1.3.1-7) unstable; urgency=low
+
+  * Minor update for knxm2011-dojo
+	
+ -- Knoppix/Math package maintenance <debian@math.kobe-u.ac.jp>  Mon,  08 Aug 2011 16:23:00 +0900
+  
+openxm (1.3.1-6) unstable; urgency=low
+
+  * New primary ideal decomposition codes.
+	
+ -- Knoppix/Math package maintenance <debian@math.kobe-u.ac.jp>  Mon,  21 Feb 2011 13:25:00 +0900
+  
+openxm (1.3.1-5) unstable; urgency=low
+
+  * updates of asir-contrib, bfunction, primary ideal decomposition.  The first 64 bit package.
+	
+ -- Knoppix/Math package maintenance <debian@math.kobe-u.ac.jp>  Mon,  19 July 2010 18:45:00 +0900
+  
+openxm (1.3.1-4) unstable; urgency=low
+
+  * bug fix of openxm.postinst and openxm.prerm. --purge is no longer needed.
+
+ -- Knoppix/Math package maintenance <debian@math.kobe-u.ac.jp>  Tue,  23 Feb 2010 7:20:00 +0900
+  
 openxm (1.3.1-3) unstable; urgency=low
 
   * bug fix of the network installer