Bug#670211: evolvotron_mutate does not mutate

2012-04-29 Thread Gürkan Sengün
Hi The package is ready waiting for its sponsor... http://sid.ethz.ch/debian/evolvotron/ Yours, -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#670211: evolvotron_mutate does not mutate

2012-04-24 Thread Gürkan Sengün
Hello Pedro The attached patch fixes this issue. Note that I notified upstream (sorry, did that before reading that it's better to leave that up to the package maintainers) and the patch is already applied to the repository, but upstream says there are no short term plans to release a 0.6.2.

Bug#670211: evolvotron_mutate does not mutate

2012-04-23 Thread Pedro Gimeno
Package: evolvotron Version: 0.6.1-1+b1 Severity: minor Tags: patch The auxiliary command-line tool evolvotron_mutate only works for generation of new formulas (parameter -g); it doesn't mutate the formula: $ evolvotron_mutate -g success.xml $ evolvotron_mutate success.xml fail.xml