jakob 10ee651ab0 ranlib library after build; PR#1951		2001-07-22 20:50:02 +00:00
..
files	import of the GNU MP library as a port as libgmp is removed from -current	2000-12-24 12:18:50 +00:00
patches	sync libtool patches	2001-02-19 22:02:04 +00:00
pkg	move COMMENT into Makefile & touch NEED_VERSION	2001-03-24 19:55:27 +00:00
Makefile	ranlib library after build; PR#1951	2001-07-22 20:50:02 +00:00