===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/Attic/Makefile-ports,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/gmp/Attic/Makefile-ports	2004/02/23 00:32:56	1.3
+++ OpenXM/src/gmp/Attic/Makefile-ports	2004/02/23 00:51:00	1.4
@@ -1,14 +1,14 @@
-# $OpenXM: OpenXM/src/gmp/Makefile-ports,v 1.2 2004/02/22 09:06:25 takayama Exp $
+# $OpenXM: OpenXM/src/gmp/Makefile-ports,v 1.3 2004/02/23 00:32:56 takayama Exp $
 OpenXM_HOME=../..
 PREFIX=${OpenXM_HOME}
 DISTDIR=${OpenXM_HOME}/../OpenXM_dist
 RM = /bin/rm -rf
 MASTER_CITES=ftp.math.kobe-u.ac.jp
 # MASTER_CITES2 = 
-#DISTFILES=gmp-3.1.1.tar.gz
-#GMP=gmp-3.1.1
-DISTFILES=gmp-4.1.2.tar.gz
-GMP=gmp-4.1.2
+DISTFILES=gmp-3.1.1.tar.gz
+GMP=gmp-3.1.1
+#DISTFILES=gmp-4.1.2.tar.gz
+#GMP=gmp-4.1.2
 
 all : build 
 install : post-install