Quoting (and rearranging) text from myself: ledit (1.13-3) UNRELEASED; urgency=low * BIG FAT WARNING: ledit does not build against the new camlp4, we will need one of: 1) packaging camlp4s (http://cristal.inria.fr/~ddr/) 2) porting ledit to the new camlp4 3) dropping ledit from the archive Having read DDR's statement on the caml mailing list I'm pretty sure he will never port ledit to the new camlp4. We can do (2) in Debian, but I think it's pointless, we have alternatives to ledit and it would also practically mean forking ledit. We can do (3), which is reasonable precisely because we have alternatives. Or we can do (1), which might prove useful as I guess not every piece of camlp4-related software will be ported to the new one, given that the old one is available. Therefore I'm in favour of (1) (still, I haven't yet looked at binary name conflicts or similar issues...), what do you think? Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature