Processed: Retitle as ARB is already a taken name
Processing commands for control@bugs.debian.org:
> retitle 797822 ITP: flint-arb -- C library for arbitrary-precision floating-point ball arithmetic
Bug #797822 [wnpp] ITP: arb -- C library for arbitrary-precision floating-point ball arithmetic
Changed Bug title to 'ITP: flint-arb -- C library for arbitrary-precision floating-point ball arithmetic' from 'ITP: arb -- C library for arbitrary-precision floating-point ball arithmetic'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
797822: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797822
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: