jakob a2b3ac2ff0 import of the GNU MP library as a port as libgmp is removed from -current		2000-12-24 12:18:50 +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
pkg	import of the GNU MP library as a port as libgmp is removed from -current	2000-12-24 12:18:50 +00:00
Makefile	import of the GNU MP library as a port as libgmp is removed from -current	2000-12-24 12:18:50 +00:00