Rudolf Polzer 1cf7f992d7 now also with libgmp here (so we can statically link)		2010-08-27 12:41:40 +02:00
..
info	now also with libgmp here (so we can statically link)	2010-08-27 12:41:40 +02:00
man/man1	fix linux64 build	2010-08-05 06:22:38 +02:00