Control: clone -1 -2 Control: retitle -2 ITP: herbie -- Synthesis for floating-point expressions Control: owner -2 ! Control: block -1 by -2
Hi Roman, I also have interest and use for Herbie being packaged into Debian. I intent to publish a package for it in the near future (started the packaging work earlier today), and I would be happy to collaborate with you on maintainance if that's something you would be interested in helping with. Best, nicoo
signature.asc
Description: PGP signature
