Bug#587730: Include patch r1875, fixing an off-by-one bug causing sensible slowdowns

2010-07-02 Thread Enrico Tassi
On Fri, Jul 02, 2010 at 05:14:39PM +0200, St?phane Glondu wrote: > Le 01/07/2010 10:55, Enrico Tassi a ?crit : >>> From upstream VCS: [...] > > I was unable to find this... could you provide a link to a publically I thought inria's gforge was giving public access to the svn reposotory but it is n

Bug#587730: Include patch r1875, fixing an off-by-one bug causing sensible slowdowns

2010-07-02 Thread Stéphane Glondu
Le 01/07/2010 10:55, Enrico Tassi a écrit : From upstream VCS: [...] I was unable to find this... could you provide a link to a publically available upstream repository? Best regards, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "un

Bug#587730: Include patch r1875, fixing an off-by-one bug causing sensible slowdowns

2010-07-01 Thread Enrico Tassi
Package: ssreflect Severity: wishlist >From upstream VCS: r1875 | gonthier | 2010-03-17 12:22:08 +0100 (Wed, 17 Mar 2010) | 4 lines off-by-1 bug that delayed short-circuit occurrence selection: move: {1}(f x) actually loo