Juergen Daubert b4f2f95959 libgmp: update to 5.1.2		2013-05-22 17:18:37 +02:00
..
.footprint	libgmp: update to 5.1.2	2013-05-22 17:18:37 +02:00
.md5sum	libgmp: update to 5.1.2	2013-05-22 17:18:37 +02:00
Pkgfile	libgmp: update to 5.1.2	2013-05-22 17:18:37 +02:00