Subject: [Dorsal-dev] [HG dorsal] Merged gmp changes

From: [email-masked] (Dorsal)
Date: Wed, 7 Oct 2009 19:00:01 +0200 (CEST)

One or more new changesets pushed to the primary dorsal repository.
A short summary of the last three changesets is included below.

changeset:   278:da1a73b2dfcb
tag:         tip
parent:      277:26781f0a2ab6
parent:      276:54ec58f47fb3
user:        Harish Narayanan <[email-masked]>
date:        Wed Oct 07 18:59:26 2009 +0200
description:
Merged gmp changes

changeset:   277:26781f0a2ab6
parent:      275:855ad97a6fea
user:        Harish Narayanan <[email-masked]>
date:        Wed Oct 07 18:58:45 2009 +0200
files:       packages/viper-stable.package packages/viper.package
description:
Moved viper patch to the stable package because this problem has been fixed in the devel version of viper

changeset:   276:54ec58f47fb3
user:        Harish Narayanan <[email-masked]>
date:        Wed Oct 07 09:52:46 2009 +0200
files:       platforms/fedora10.platform
description:
Build gmp on fedora instead of using the system package

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/dev/dorsal