update pet for explicitly linking in gmp
commit76cf10d9489e29df0aee0530894613a971c8478c
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 23 Oct 2011 14:21:02 +0000 (23 16:21 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 23 Oct 2011 14:21:02 +0000 (23 16:21 +0200)
tree8f604da347eb8da21e6fabe82d0d01e14926b4c8
parenta13952c2b31e133f15c36feede45921da502f0fa
update pet for explicitly linking in gmp

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
pet