aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorijliao <ijliao@FreeBSD.org>2002-04-15 16:27:05 +0800
committerijliao <ijliao@FreeBSD.org>2002-04-15 16:27:05 +0800
commit731788a7371b56e9546c2efcd69b03f724f27afc (patch)
tree43b368ee0aa7090deb0b51f1d4730d0a6f660340
parentca475d03863adf9507425c99dbc7280095251277 (diff)
downloadfreebsd-ports-gnome-731788a7371b56e9546c2efcd69b03f724f27afc.tar.gz
freebsd-ports-gnome-731788a7371b56e9546c2efcd69b03f724f27afc.tar.zst
freebsd-ports-gnome-731788a7371b56e9546c2efcd69b03f724f27afc.zip
libgmp-freebsd -> ports/math/libgmp-freebsd
libgmp4 -> ports/math/libgmp4
-rw-r--r--CVSROOT/modules2
1 files changed, 2 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules
index 77b544c3e3a5..fa51ade59891 100644
--- a/CVSROOT/modules
+++ b/CVSROOT/modules
@@ -3395,7 +3395,9 @@ libgii ports/devel/libgii
libglade ports/devel/libglade
libglade2 ports/devel/libglade2
libgmp src/gnu/lib/libgmp
+libgmp-freebsd ports/math/libgmp-freebsd
libgmp3 ports/math/libgmp3
+libgmp4 ports/math/libgmp4
libgnomeprintui ports/x11-toolkits/libgnomeprintui
libgnomeui ports/x11-toolkits/libgnomeui
libgnugetopt ports/devel/libgnugetopt