===================================================================
RCS file: /home/cvs/OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.3/pkg/PLIST,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.3/pkg/PLIST	2000/09/25 08:21:52	1.3
+++ OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.3/pkg/PLIST	2000/09/26 06:26:52	1.4
@@ -1,4 +1,4 @@
-@exec echo " $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.3/pkg/PLIST,v 1.2 2000/09/23 08:37:16 takayama Exp $ "
+@exec echo " $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.3/pkg/PLIST,v 1.3 2000/09/25 08:21:52 takayama Exp $ "
 bin/asir
 bin/sm1
 bin/oxMathematica
@@ -531,7 +531,6 @@ OpenXM/lib/libpari.so.2.0.17
 OpenXM/lib/pari/translations
 OpenXM/lib/libgc.a
 OpenXM/lib/libgmp.so.4
-OpenXM/lib/libgmp.la
 OpenXM/lib/libgmp.a
 OpenXM/lib/libox.a
 OpenXM/lib/libasir_pari_X.a