I cannot install extunix anymore

Community
#1

Hello,

Anyone else noticed?

Is there a fix or workaround?

Thanks!
F.

#2

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!

#3

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ā€¦ :cry:

1 Like
#4

Ha! I didnā€™t notice that ā€œheā€ in the issue is ā€œyouā€ here.