Mike wrote me separately to say the problem eventually fixed itself for no evident reason :(. Maybe related to our general timing issue? Anyway, closing. --thanks, karl.
- bug#67673: Automake cannot be installed , help will be highly a... Karl Berry
- bug#67673: Automake cannot be installed , help will be hig... Karl Berry