Processed: Re: Bug#566801: jeuclid-cli does not work on simple example

[Debian Bug Tracking System]

Processing control commands:

> fixed -1 3.1.9-5
Bug #566801 [jeuclid-cli] jeuclid-cli does not work on simple example
Marked as fixed in versions jeuclid/3.1.9-5.

-- 
566801: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=566801
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems