Hello,
Anyone else noticed?
Is there a fix or workaround?
Thanks!
F.
Hello,
Anyone else noticed?
Is there a fix or workaround?
Thanks!
F.
I havenāt tried doing this, but I noticed that at the bottom of the issue, thereās something about doing a reinstall of camlp4, which allowed him to proceed? Did this not work for you? Viz.
Ok, after
opam reinstall camlp4
I can install extunix.0.1.6.
Why do I have to do this?!
He appended literally 5min ago, so it wasnāt there when you looked, 30min ago. The miracle of world-wide instant communication!
Yes, the workaround was to reinstall camlp4, then try to install extunix again.
Note that I saw the same thing happening on a Mac.
So, a recent āopam upradeā broke my installed camlp4 in a strange wayā¦
Ha! I didnāt notice that āheā in the issue is āyouā here.