On Wed, Jun 19 2019, kwesterb...@gmail.com wrote: [...]
> I don't see much difference between disabling and moving to the attic, > but this two step approach is ok with me. If the current camlp4 code is compatible with ocaml-4.08 then the fix would be a two-lines patch for its configure script and removing the BROKEN line. Compare that to useless churn due to the unhooking/removal of two ports, and quirks glue to mark the packages as obsolete. And then the people actually willing to fix camlp4/mldonkey would have to undo all of this. > Dunno what quirks magic (if any) needs to be done for disabling a port. No need for quirks magic when you mark a port BROKEN. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
