Bug tracking system for GMP

Roberto Bagnara bagnara at cs.unipr.it
Thu Nov 25 13:27:31 CET 2010

On 11/25/2010 10:58 AM, Torbjorn Granlund wrote:
> I think the GMP project needs a bug tracking system.
> Hopefully, it will be an improvement for users, and also
> make it easier to contribute bug fixes.
> I'd like something that is simple to setup.  Pretty graphics is
> secondary.
> Can somebody here advice me?   (Please reply to this list.)

My team uses Mantis: it was easy to set up and we are
very happy about it.

Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it

More information about the gmp-devel mailing list